diff options
author | Sascha Wunderlich | 2017-08-04 14:13:22 +0200 |
---|---|---|
committer | Sascha Wunderlich | 2017-08-04 14:13:22 +0200 |
commit | c3da19dc8ddc84ebbd92758b6e16c8a380594f6f (patch) | |
tree | 0646d471510c4f3737bb8b9de3a777b565608d87 /PKGBUILD | |
download | aur-c3da19dc8ddc84ebbd92758b6e16c8a380594f6f.tar.gz |
Initial commit
Diffstat (limited to 'PKGBUILD')
-rw-r--r-- | PKGBUILD | 47 |
1 files changed, 47 insertions, 0 deletions
diff --git a/PKGBUILD b/PKGBUILD new file mode 100644 index 000000000000..76ff49be8e5d --- /dev/null +++ b/PKGBUILD @@ -0,0 +1,47 @@ +# Maintainer: Sascha Wunderlich <archlinux at saschawunderlich dot de> +pkgname=carl-git +pkgver=17.06.r180.g477d100e +pkgrel=1 +pkgdesc="CArL - the Computer ARithmetic and Logic library." +arch=(i686 x86_64) +url="https://smtrat.github.io/carl" +license=('MIT') +groups=() +conflicts=('carl') +provides=('carl') +depends=(boost eigen ginac) +makedepends=(git cmake) +source=("$pkgname::git+https://github.com/smtrat/carl.git") +md5sums=('SKIP') + +pkgver() { + cd "$pkgname" + git describe --long | sed 's/\([^-]*-g\)/r\1/;s/-/./g' +} + +build() { + cd "$pkgname" + rm -rf build/ + + mkdir build + cd build + + cmake -DUSE_CLN_NUMBERS=ON -DUSE_GINAC=ON -DTHREAD_SAFE=ON \ + -DCMAKE_BUILD_TYPE=Release \ + -DCMAKE_INSTALL_PREFIX=/usr -DCMAKE_INSTALL_LIBDIR=lib \ + .. + + make lib_carl +} + +# this works, but is not cleaned up before package() +#check() { +# cd "$pkgname"/build +# make +# make test +#} + +package() { + cd "$pkgname"/build + make DESTDIR="$pkgdir/" install/fast +} |