summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorSascha Wunderlich2017-08-04 14:13:22 +0200
committerSascha Wunderlich2017-08-04 14:13:22 +0200
commitc3da19dc8ddc84ebbd92758b6e16c8a380594f6f (patch)
tree0646d471510c4f3737bb8b9de3a777b565608d87
downloadaur-c3da19dc8ddc84ebbd92758b6e16c8a380594f6f.tar.gz
Initial commit
-rw-r--r--.SRCINFO20
-rw-r--r--PKGBUILD47
2 files changed, 67 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO
new file mode 100644
index 00000000000..6ead989d856
--- /dev/null
+++ b/.SRCINFO
@@ -0,0 +1,20 @@
+pkgbase = carl-git
+ pkgdesc = CArL - the Computer ARithmetic and Logic library.
+ pkgver = 17.06.r180.g477d100e
+ pkgrel = 1
+ url = https://smtrat.github.io/carl
+ arch = i686
+ arch = x86_64
+ license = MIT
+ makedepends = git
+ makedepends = cmake
+ depends = boost
+ depends = eigen
+ depends = ginac
+ provides = carl
+ conflicts = carl
+ source = carl-git::git+https://github.com/smtrat/carl.git
+ md5sums = SKIP
+
+pkgname = carl-git
+
diff --git a/PKGBUILD b/PKGBUILD
new file mode 100644
index 00000000000..76ff49be8e5
--- /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
+}