diff options
author | volkm | 2023-07-03 22:49:22 +0200 |
---|---|---|
committer | volkm | 2023-07-03 22:49:22 +0200 |
commit | effde15afba8fb61890ebe3a6b67fecde3985a9f (patch) | |
tree | 753a63bf1f5c953f2c813e36ee9d53e38f0506f0 /PKGBUILD | |
download | aur-carl-storm.tar.gz |
Initial commit
Diffstat (limited to 'PKGBUILD')
-rw-r--r-- | PKGBUILD | 28 |
1 files changed, 28 insertions, 0 deletions
diff --git a/PKGBUILD b/PKGBUILD new file mode 100644 index 000000000000..2d94623845a1 --- /dev/null +++ b/PKGBUILD @@ -0,0 +1,28 @@ +# Maintainer: Matthias Volk <m.volk at utwente dot nl> +pkgname=carl-storm +pkgver=14.25 +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=(511740d53c2a6a41c3ccb3bd3b2d9ec89d0576f37b8804fc15fbe083e7a357da) + +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 +} |