CaRL package build file

PKGBUILD

pkgname=carl
pkgdesc="An Open Source C++ Library for Computer Arithmetic and Logic"
url="https://github.com/smtrat/carl"
arch=("i686" "x86_64")
license=("mit")
depends=("gmp" "eigen3" "boost")
makedepends=("make" "cmake")
conflicts=()
replaces=()
backup=()
source=("$pkgname::git+https://github.com/smtrat/carl.git")
pkgver=17.04.r111.gf2286031
prepare() {
  cd "$pkgname" 
}
pkgver() {
  cd "$pkgname"
  ( set -o pipefail
    git describe --long 2>/dev/null | sed 's/\([^-]*-g\)/r\1/;s/-/./g' ||
    printf "r%s.%s" "$(git rev-list --count HEAD)" "$(git rev-parse --short HEAD)"
  )
}
pkgrel=1
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
}
md5sums=('SKIP')