Git-Url: 
http://git.frugalware.org/gitweb/gitweb.cgi?p=frugalware-current.git;a=commitdiff;h=936c0676ffa7fded22b4b6e9863ac5904fc8039c

commit 936c0676ffa7fded22b4b6e9863ac5904fc8039c
Author: Elentir <elen...@mailoo.org>
Date:   Thu Apr 22 23:26:16 2010 +0200

apron-0.9.10-2-i686

* don't build mlgmpidl since it's in a separate pkg now
* add mlgmpidl to depends

diff --git a/source/lib-extra/apron/FrugalBuild 
b/source/lib-extra/apron/FrugalBuild
index c524cb6..b4425b9 100644
--- a/source/lib-extra/apron/FrugalBuild
+++ b/source/lib-extra/apron/FrugalBuild
@@ -3,22 +3,21 @@

pkgname=apron
pkgver=0.9.10
-pkgrel=1
+pkgrel=2
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-dist-$pkgver.tgz")
-depends=('ocaml>=3.11.1' 'camlidl>=1.05-3' 'gmp' 'mpfr')
+source=("$url/$pkgname-$pkgver.tgz")
+depends=('ocaml>=3.11.1' 'camlidl>=1.05-3' 'gmp' 'mpfr' 'mlgmpidl')
groups=('lib-extra')
archs=('i686' 'x86_64')
up2date="Flasttar $url"
-_F_cd_path=$pkgname-dist-$pkgver
-sha1sums=('2defc170d522ab1c7ec0c50036d931411aa2fbc6')
+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 = $Fdestdir/usr" 
Makefile.config
+  Fsed "MLGMPIDL_PREFIX = /tmp" "MLGMPIDL_PREFIX = /usr" Makefile.config
Fbuild
}
_______________________________________________
Frugalware-git mailing list
Frugalware-git@frugalware.org
http://frugalware.org/mailman/listinfo/frugalware-git

Reply via email to