diff options
Diffstat (limited to 'PKGBUILD')
-rw-r--r-- | PKGBUILD | 48 |
1 files changed, 48 insertions, 0 deletions
diff --git a/PKGBUILD b/PKGBUILD new file mode 100644 index 000000000000..fc9f2f177bda --- /dev/null +++ b/PKGBUILD @@ -0,0 +1,48 @@ +# Maintainer: Maxime Arthaud <maxime@arthaud.me> +# Author: Vivien Maisonneuve +# Category: science + +pkgname='apron' +pkgver=0.9.10 +pkgrel=1 +pkgdesc='APRON numerical abstract domain library' +arch=('i686' 'x86_64') +url='http://apron.cri.ensmp.fr/library/' +license=('LGPL2') +provides=('apron') +depends=('gmp>=5' 'mpfr>=3' 'ppl') +makedepends=('sed') +source=("http://apron.cri.ensmp.fr/library/apron-$pkgver.tgz" + '0001-Remove-strdup-implementation.patch' + '0002-Fix-invalid-operands-to-binary-expression.patch') +sha256sums=('b108de2f4a8c4ecac1ff76a6d282946fd3bf1466a126cf5344723955f305ec8e' + 'fe8d85b1f2db6dad149209324b32a8e81deab6868147e71bcfe4c8df57303fc9' + 'f624c2152ac6c621f92d1cbb58a891701e938d44dc0fde6a1b80b4a7d3c8ba43') + +prepare() { + cd "$srcdir/apron-$pkgver" + sed \ + -e 's|^APRON_PREFIX *=.*$|APRON_PREFIX=/usr|' \ + -e 's|^HAS_OCAML *=.*$|HAS_OCAML=|' \ + -e 's|^HAS_OCAMLOPT *=.*$|HAS_OCAMLOPT=|' \ + -e 's|^OCAMLFIND *=.*$|OCAMLFIND=|' \ + -e 's|^# HAS_PPL *=.*$|HAS_PPL=1|' \ + Makefile.config.model > Makefile.config + patch -p0 < ../0001-Remove-strdup-implementation.patch + patch -p0 < ../0002-Fix-invalid-operands-to-binary-expression.patch +} + +build() { + cd "$srcdir/apron-$pkgver" + make -j1 +} + +package() { + cd "$srcdir/apron-$pkgver" + make APRON_PREFIX="$pkgdir"/usr install + rm "$pkgdir"/usr/bin/*test* # remove test binaries + # remove ocaml stuff + rm "$pkgdir"/usr/lib/*.ml + rm "$pkgdir"/usr/lib/*.mli + rm "$pkgdir"/usr/lib/*.idl +} |