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 | |
| download | aur-effde15afba8fb61890ebe3a6b67fecde3985a9f.tar.gz | |
Initial commit
| -rw-r--r-- | .SRCINFO | 20 | ||||
| -rw-r--r-- | PKGBUILD | 28 |
2 files changed, 48 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO new file mode 100644 index 000000000000..9da7a8f2dacc --- /dev/null +++ b/.SRCINFO @@ -0,0 +1,20 @@ +pkgbase = carl-storm + pkgdesc = The Computer ARithmetic and Logic library for the probabilistic model checker Storm + pkgver = 14.25 + pkgrel = 1 + url = https://github.com/moves-rwth/carl-storm + arch = i686 + arch = x86_64 + license = MIT + makedepends = cmake + depends = boost + depends = cln + depends = eigen + depends = ginac + depends = gmp + conflicts = carl + replaces = carl-master14 + source = carl-storm-14.25.tar.gz::https://github.com/moves-rwth/carl-storm/archive/14.25.tar.gz + sha256sums = 511740d53c2a6a41c3ccb3bd3b2d9ec89d0576f37b8804fc15fbe083e7a357da + +pkgname = carl-storm 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 +} |