# gnomemedia/cfg - "Build" settings for package #--------------------------------------------------------------------- [technotes] #--------------------------------------------------------------------- [buildtimes] 00.01 hours (or 000.40 minutes) - ThinkPad E540 i7 4x2 16GB RAM 00.01 hours (or 000.42 minutes) - Dell Inspiron 6400 2.0 GHz Intel Duo 7200 2GB RAM 00.01 hours (or 000.52 minutes) - HP EliteBook 8560w 32GB RAM #--------------------------------------------------------------------- [settings] build = default dontfind = oldgstreamer, gstreamer14 exepack = yes fortran = disabled license = See "license*.txt" in installed tree licfile = COPYING nls = disabled nosyslinks = yes revision = numeric setpaths = gnome, gstreamer, libgmp tmpsize = 15M unpack = relaxed #--------------------------------------------------------------------- [depends] actools cpan-xml-parser gawk gconf gettext grep gstreamer gtkcore highgnome intltool libgmp perl pkgconf sed #--------------------------------------------------------------------- [configure] MANBASE=$PKGDIR_PROD/man mkdir -p $MANBASE bash ./configure \ --prefix=$PKGDIR_PROD \ --build=$LACARCHBUILD \ --host=$LACARCHHOST \ --disable-dependency-tracking \ --disable-nls \ --disable-schemas \ --disable-scrollkeeper \ --enable-gstprops \ --enable-gstmix \ --enable-profiles \ --enable-shared=yes \ --enable-static=no \ --mandir=$MANBASE #--------------------------------------------------------------------- # Original URLs. These URLs were valid at one point, but may have died # since then. If you download newer versions of tarballs [etc.], don't # delete the original versions, as you may not be able to replace # them. [urls] url_debian = Not checked yet url_home = Ditto url_lfs = Ditto url_tarball = https://ftp.gnome.org/pub/gnome/sources/\ gnome-media/3.4/gnome-media-3.4.0.tar.xz