diff options
| author | Bogdan Burlacu | 2019-10-01 23:25:02 +0000 |
|---|---|---|
| committer | Bogdan Burlacu | 2019-10-01 23:25:02 +0000 |
| commit | b5a6f7c48f330d6d871137a41abd2e83b0789ff0 (patch) | |
| tree | 6c20dfd7db8877524eb20f01c8a49e77cca1e1d6 | |
| download | aur-b5a6f7c48f330d6d871137a41abd2e83b0789ff0.tar.gz | |
Add package for GAOL
| -rw-r--r-- | .SRCINFO | 17 | ||||
| -rw-r--r-- | PKGBUILD | 40 |
2 files changed, 57 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO new file mode 100644 index 000000000000..b14e9493c021 --- /dev/null +++ b/.SRCINFO @@ -0,0 +1,17 @@ +pkgbase = gaol-git + pkgdesc = GAOL (not Just Another Interval Arithmetic Library) is a C++ Interval Arithmetic Library that offers all operators required by interval constraint solvers. + pkgver = r6.6e6cd9a + pkgrel = 1 + url = https://gitlab.univ-nantes.fr/goualard-f/gaol + arch = x86_64 + license = GPL + makedepends = git + makedepends = cppunit + depends = crlibm-git + provides = gaol + conflicts = gaol + source = git+https://gitlab.univ-nantes.fr/goualard-f/gaol.git + md5sums = SKIP + +pkgname = gaol-git + diff --git a/PKGBUILD b/PKGBUILD new file mode 100644 index 000000000000..bb0d029fd67c --- /dev/null +++ b/PKGBUILD @@ -0,0 +1,40 @@ +# Maintainer: Bogdan Burlacu <bogdan.burlacu@pm.me> +pkgname=gaol-git +pkgver=r6.6e6cd9a +pkgrel=1 +pkgdesc="GAOL (not Just Another Interval Arithmetic Library) is a C++ Interval Arithmetic Library that offers all operators required by interval constraint solvers." +arch=('x86_64') +url="https://gitlab.univ-nantes.fr/goualard-f/gaol" +license=('GPL') +depends=(crlibm-git) +makedepends=(git cppunit) # 'bzr', 'git', 'mercurial' or 'subversion' +provides=("${pkgname%-git}") +conflicts=("${pkgname%-git}") +source=('git+https://gitlab.univ-nantes.fr/goualard-f/gaol.git') +noextract=() +md5sums=('SKIP') + +pkgver() { + cd "$srcdir/${pkgname%-git}" + # Git, no tags available + printf "r%s.%s" "$(git rev-list --count HEAD)" "$(git rev-parse --short HEAD)" +} + +build() { + cd "$srcdir/${pkgname%-git}" + ./configure --prefix=/usr --with-mathlib=crlibm + #find . -type f -name Makefile -exec sed -i "s+oldincludedir = /usr/include+oldincludedir = ${pkgdir}/usr/include+g" {} + + #find . -type f -name Makefile -exec sed -i "includedir = /usr/include+includedir = ${pkgdir}/usr/include+g" {} + + make +} + +check() { + cd "$srcdir/${pkgname%-git}" + make -k check +} + +package() { + cd "$srcdir/${pkgname%-git}" + make prefix=$pkgdir/usr install +} + |