PKGBUILD for carl-storm 14.28

PKGBUILD

# Maintainer: Matthias Volk <m.volk at utwente dot nl>
# Contributor: Masaki Waga <masakiwaga at gmail dot com>
pkgname=carl-storm
pkgver=14.28
pkgrel=1
pkgdesc="The Computer ARithmetic and Logic library for the probabilistic model checker Storm"
arch=(i686 x86_64)
url="https://github.com/moves-rwth/carl-storm"
license=('MIT')
depends=(boost cln eigen ginac gmp)
makedepends=(cmake)
optdepends=()
provides=()
conflicts=(carl)
replaces=(carl-master14)
source=("$pkgname-$pkgver.tar.gz::https://github.com/moves-rwth/carl-storm/archive/$pkgver.tar.gz")
sha256sums=(a5a3001f2f5c9c0532d841055452359a8af71c43478dca3868c3677e7db7d17c)

build() {
    mkdir -p "$pkgname-$pkgver/build"
	cd "$pkgname-$pkgver/build"
    cmake -DEXCLUDE_TESTS_FROM_ALL=ON -DCMAKE_INSTALL_PREFIX=/usr -DCMAKE_INSTALL_LIBDIR=lib ..
	make
}

package() {
	cd "$pkgname-$pkgver/build"
	make DESTDIR="$pkgdir/" install
}