First version of this package.

PKGBUILD is based on https://github.com/smtrat/carl/issues/9

2 files changed, 56 insertions, 0 deletions

diff --git a/.SRCINFO b/.SRCINFO
new file mode 100644
index 000000000000..8c27f428213d
--- /dev/null
+++ b/.SRCINFO
@@ -0,0 +1,18 @@
+pkgbase = carl
+	pkgdesc = An Open Source C++ Library for Computer Arithmetic and Logic
+	pkgver = 17.04.r0.g59185e46
+	pkgrel = 1
+	url = https://github.com/smtrat/carl
+	arch = i686
+	arch = x86_64
+	license = MIT
+	makedepends = make
+	makedepends = cmake>=3.0
+	depends = gmp>=5.1
+	depends = eigen3>=3.2
+	depends = boost>=1.55
+	source = carl::git+https://github.com/smtrat/carl.git#17.04
+	md5sums = SKIP
+
+pkgname = carl
+
diff --git a/PKGBUILD b/PKGBUILD
new file mode 100644
index 000000000000..641cd049181a
--- /dev/null
+++ b/PKGBUILD
@@ -0,0 +1,38 @@
+# Maintainer: Gereon Kremer <gereon.kremer@cs.rwth-aachen.de>
+
+pkgname=carl
+pkgver=17.04.r0.g59185e46
+pkgrel=1
+pkgdesc="An Open Source C++ Library for Computer Arithmetic and Logic"
+arch=("i686" "x86_64")
+url="https://github.com/smtrat/carl"
+license=('MIT')
+depends=("gmp>=5.1" "eigen3>=3.2" "boost>=1.55")
+makedepends=("make" "cmake>=3.0")
+conflicts=()
+replaces=()
+backup=()
+source=("$pkgname::git+https://github.com/smtrat/carl.git#17.04")
+md5sums=('SKIP')
+
+prepare() {
+  cd "$pkgname" 
+}
+pkgver() {
+  cd "$pkgname"
+  git describe --long 2>/dev/null | sed 's/\([^-]*-g\)/r\1/;s/-/./g'
+}
+build() {
+  cd "$pkgname"
+  cmake -DCMAKE_BUILD_TYPE=Release -DCMAKE_INSTALL_PREFIX=/usr .
+  make resources
+  make lib_carl
+}
+check() {
+  cd "$pkgname"
+  make test
+}
+package() {
+  cd "$pkgname"
+  make DESTDIR="$pkgdir/" install
+}