Git-Url: http://git.frugalware.org/gitweb/gitweb.cgi?p=frugalware-current.git;a=commitdiff;h=843478ea2d7f7e9f239aaf5e6fd732e5c86e1ccd
commit 843478ea2d7f7e9f239aaf5e6fd732e5c86e1ccd Author: Elentir <elen...@mailoo.org> Date: Sun Dec 20 21:42:33 2009 +0100 apron-0.9.10-1-i686 * version bump * remove apron patch diff --git a/source/lib-extra/apron/FrugalBuild b/source/lib-extra/apron/FrugalBuild index d0649e6..c524cb6 100644 --- a/source/lib-extra/apron/FrugalBuild +++ b/source/lib-extra/apron/FrugalBuild @@ -2,25 +2,23 @@ # Maintainer: Elentir <elen...@mailoo.org> pkgname=apron -pkgver=0.9.9 -pkgrel=2 +pkgver=0.9.10 +pkgrel=1 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" $pkgname.patch) +source=("$url/$pkgname-dist-$pkgver.tgz") depends=('ocaml>=3.11.1' 'camlidl>=1.05-3' 'gmp' 'mpfr') groups=('lib-extra') archs=('i686' 'x86_64') up2date="Flasttar $url" -sha1sums=('31a607622c325869006eff21c2708f37448a7290' \ - '43e946c28f80b14509f6501ab92a6a1189cd31c0') +_F_cd_path=$pkgname-dist-$pkgver +sha1sums=('2defc170d522ab1c7ec0c50036d931411aa2fbc6') +unset MAKEFLAGS build() { - unset MAKEFLAGS Fcd mv Makefile.config.model Makefile.config || Fdie - ## -i is incompatible with -pack option in ocamlc.opt - Fsed "$(OCAMLINC) -i -pack" "$(OCAMLINC) -pack" mlapronidl/Makefile + Fsed "APRON_PREFIX = /tmp" "APRON_PREFIX = $Fdestdir/usr" Makefile.config + Fsed "MLGMPIDL_PREFIX = /tmp" "MLGMPIDL_PREFIX = $Fdestdir/usr" Makefile.config Fbuild } - -# optimization OK diff --git a/source/lib-extra/apron/apron.patch b/source/lib-extra/apron/apron.patch deleted file mode 100644 index 1df3afc..0000000 --- a/source/lib-extra/apron/apron.patch +++ /dev/null @@ -1,46 +0,0 @@ ---- Makefile.config 2008-06-09 16:10:50.000000000 +0200 -+++ Makefile.config 2009-01-25 17:38:45.000000000 +0100 -@@ -29,12 +29,12 @@ - # Where to install and to find APRON - # ($(APRON_PREFIX)/include, $(APRON_PREFIX)/lib) - # --APRON_PREFIX = /usr -+APRON_PREFIX = $(prefix) - - # Where to install and to find MLGMPIDL - # ($(MLGMPIDL_PREFIX)/lib) - # --MLGMPIDL_PREFIX = /usr/local -+MLGMPIDL_PREFIX = $(prefix) - - # Where to find GMP ($(GMP_PREFIX)/include, ($GMP_PREFIX)/lib - # -@@ -64,12 +64,9 @@ - CC = gcc - - # C compilation flags --CFLAGS = \ ---Wcast-qual -Wswitch -Werror-implicit-function-declaration \ ---Wall -Wextra -Wundef -Wbad-function-cast -Wcast-align -Wstrict-prototypes \ ---Wno-unused \ -+CFLAGS += \ - -std=c99 -U__STRICT_ANSI__ \ ---O3 -DNDEBUG -+-DNDEBUG - - # C compilation flags in debug (or profile) mode - CFLAGS_DEBUG = \ -@@ -88,11 +85,8 @@ - # C++ compiler - CXX = g++ - # C++ compilation flags --CXXFLAGS = \ ---Wcast-qual -Wswitch \ ---Wall -Wextra -Wundef -Wcast-align \ ---Wno-unused \ ---O3 -DNDEBUG -+CXXFLAGS += \ -+-DNDEBUG - # C++ compilation flags in debug (or profile) mode - CXXFLAGS_DEBUG = \ - -Wcast-qual -Wswitch \ _______________________________________________ Frugalware-git mailing list Frugalware-git@frugalware.org http://frugalware.org/mailman/listinfo/frugalware-git