Git-Url: http://git.frugalware.org/gitweb/gitweb.cgi?p=frugalware-current.git;a=commitdiff;h=1ac91b5c1d801834ed1cde521658c8e4dbfb881d
commit 1ac91b5c1d801834ed1cde521658c8e4dbfb881d Author: James Buren <[email protected]> Date: Sun Nov 15 02:49:11 2015 +0100 apron-0.9.10-4-x86_64 * remove package diff --git a/source/lib-extra/apron/FrugalBuild b/source/lib-extra/apron/FrugalBuild deleted file mode 100644 index 3293931..0000000 --- a/source/lib-extra/apron/FrugalBuild +++ /dev/null @@ -1,23 +0,0 @@ -# Compiling Time: 0.11 SBU -# Maintainer: Elentir <[email protected]> - -pkgname=apron -pkgver=0.9.10 -pkgrel=4 -pkgdesc="Library for static analysis of the numerical variables of a program by Abstract Interpretation" -url="http://apron.cri.ensmp.fr/library/"; -source=("$url/$pkgname-$pkgver.tgz") -depends=('ocaml>=3.12.0' 'camlidl>=1.05-4' 'mlgmpidl>=1.1-4') -groups=('lib-extra') -archs=('i686' 'x86_64') -up2date="Flasttar $url" -sha1sums=('0e0d857bd646de6a8b16e60d80b06f48a62c51df') -unset MAKEFLAGS - -build() { - Fcd - mv Makefile.config.model Makefile.config || Fdie - Fsed "APRON_PREFIX = /tmp" "APRON_PREFIX = $Fdestdir/usr" Makefile.config - Fsed "MLGMPIDL_PREFIX = /tmp" "MLGMPIDL_PREFIX = /usr" Makefile.config - Fbuild -} _______________________________________________ Frugalware-git mailing list [email protected] http://frugalware.org/mailman/listinfo/frugalware-git
