Import PKGBUILD from apron-ppl-svn

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
+}