Initial package version

2 files changed, 68 insertions, 0 deletions

diff --git a/.SRCINFO b/.SRCINFO
new file mode 100644
index 000000000000..abd9c9112579
--- /dev/null
+++ b/.SRCINFO
@@ -0,0 +1,20 @@
+pkgbase = carl-master14-git
+	pkgdesc = CArL - the Computer ARithmetic and Logic library (master14 branch)
+	pkgver = c++14.18.12.r9.gb9ff46d9
+	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-master14
+	conflicts = carl
+	source = carl-master14-git::git+https://github.com/smtrat/carl.git#branch=master14
+	md5sums = SKIP
+
+pkgname = carl-master14-git
+
diff --git a/PKGBUILD b/PKGBUILD
new file mode 100644
index 000000000000..8faeb8bf5320
--- /dev/null
+++ b/PKGBUILD
@@ -0,0 +1,48 @@
+# Maintainer: Sascha Wunderlich <archlinux at saschawunderlich dot de>
+pkgname=carl-master14-git
+pkgver=c++14.18.12.r9.gb9ff46d9
+pkgrel=1
+pkgdesc="CArL - the Computer ARithmetic and Logic library (master14 branch)"
+arch=(i686 x86_64)
+url="https://smtrat.github.io/carl"
+license=('MIT')
+groups=()
+conflicts=('carl')
+provides=('carl-master14')
+depends=(boost eigen ginac)
+makedepends=(git cmake)
+source=("$pkgname::git+https://github.com/smtrat/carl.git#branch=master14")
+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 \
+	..
+
+  # these are the targets needed for install/fast (we are not building the tests)
+  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
+}