diff options
author | Maxime Arthaud | 2015-06-21 16:45:37 -0700 |
---|---|---|
committer | Maxime Arthaud | 2015-06-21 16:45:37 -0700 |
commit | 527b5a57a290e3b4ff5252dd5791b7eb84ea9d37 (patch) | |
tree | c01a4f7555635486795bf5d898ca6e6178ec8368 | |
download | aur-apron-ocaml-svn.tar.gz |
Initial import
-rw-r--r-- | .SRCINFO | 23 | ||||
-rw-r--r-- | PKGBUILD | 61 |
2 files changed, 84 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO new file mode 100644 index 000000000000..38a26385bf40 --- /dev/null +++ b/.SRCINFO @@ -0,0 +1,23 @@ +pkgbase = apron-ocaml-svn + pkgdesc = OCaml interface for the APRON numerical abstract domain library + pkgver = 0.9.11.r1054 + pkgrel = 1 + url = http://apron.cri.ensmp.fr/library/ + arch = any + license = LGPL + makedepends = svn + makedepends = sed + depends = gmp>=5 + depends = mpfr>=3 + depends = mlgmpidl-svn + depends = ppl + depends = ocaml + depends = ocaml-findlib + depends = apron-svn + options = staticlibs + options = !strip + source = apron-ocaml-svn::svn://scm.gforge.inria.fr/svnroot/apron/apron/trunk + md5sums = SKIP + +pkgname = apron-ocaml-svn + diff --git a/PKGBUILD b/PKGBUILD new file mode 100644 index 000000000000..f7082d5939f8 --- /dev/null +++ b/PKGBUILD @@ -0,0 +1,61 @@ +# Maintainer: Maxime Arthaud <maxime@arthaud.me> +# Mainly adapted from apron-svn by Vivien Maisonneuve, thanks to him +# Category: science + +pkgname='apron-ocaml-svn' +pkgver=0.9.11.r1054 +pkgrel=1 +pkgdesc='OCaml interface for the APRON numerical abstract domain library' +arch=('any') +url='http://apron.cri.ensmp.fr/library/' +license=('LGPL') +depends=('gmp>=5' 'mpfr>=3' 'mlgmpidl-svn' 'ppl' 'ocaml' 'ocaml-findlib' 'apron-svn') +makedepends=('svn' 'sed') +source=("$pkgname::svn://scm.gforge.inria.fr/svnroot/apron/apron/trunk") +md5sums=('SKIP') +options=('staticlibs' '!strip') + +_DESTDIR=$(ocamlfind printconf destdir) +_LDCONF=$(ocamlfind printconf ldconf) + + +pkgver() { + cd "$srcdir/$pkgname" + local rel="$(sed -n 's|Version \([^ ]\+\) *$|\1|p' Changes | head -n 1)" + local ver="$(svnversion)" + printf "%s.r%s" "$rel" "${ver//[[:alpha:]]}" +} + +prepare() { + cd "$srcdir/$pkgname" + sed \ + -e 's|^OCAMLFIND *=.*$|OCAMLFIND=ocamlfind|' \ + -e 's|^APRON_PREFIX *=.*$|APRON_PREFIX=/usr|' \ + -e 's|^MLGMPIDL_PREFIX *=.*$|MLGMPIDL_PREFIX=/usr|' \ + -e 's|^CAML_PREFIX *=.*$|CAML_PREFIX=/usr|' \ + -e 's|# *HAS_PPL *=.*$|HAS_PPL = 1|' \ + Makefile.config.model > Makefile.config + + sed -i 's|#if !(defined __.*|#if 0|' apron/ap_config.h + + sed \ + -e "s|\\$(OCAMLFIND) remove|\\$(OCAMLFIND) remove -destdir $pkgdir/$_DESTDIR -ldconf $pkgdir/$_LDCONF|g" \ + -e "s|\\$(OCAMLFIND) install|\\$(OCAMLFIND) install -destdir $pkgdir/$_DESTDIR -ldconf $pkgdir/$_LDCONF|g" \ + -i Makefile +} + +build() { + cd "$srcdir/$pkgname" + make rebuild + make +} + +package() { + mkdir -p $pkgdir$_DESTDIR + touch $pkgdir$_DESTDIR/ld.conf + + cd "$srcdir/$pkgname" + make APRON_PREFIX="$pkgdir"/usr install + + rm $pkgdir$_DESTDIR/ld.conf +} |