PKGBUILD for Storm (https://www.stormchecker.org/)

PKGBUILD

# Maintainer: Matthias Volk <m.volk at utwente dot nl>
# Contributor: Sascha Wunderlich <archlinux at saschawunderlich dot de>
pkgname=stormchecker
pkgver=1.12.0
pkgrel=1
pkgdesc="A modern probabilistic model checker"
arch=(i686 x86_64)
url="https://www.stormchecker.org"
license=('GPL3')
depends=(boost eigen glpk gmp hwloc xerces-c z3 carl-storm)
makedepends=(cmake gtest)
optdepends=('spot: support for LTL formulas')
source=("storm-$pkgver.tar.gz::https://github.com/moves-rwth/storm/archive/$pkgver.tar.gz")
sha256sums=(7bfda9c2f8189391c1fe37893bb5b4a36642fca6aebc3d4fa7db5574f5ed8f5b)

build() {
    mkdir -p "storm-$pkgver/build"
    cd "storm-$pkgver/build"
    cmake -DSTORM_EXCLUDE_TESTS_FROM_ALL=ON -DCMAKE_INSTALL_PREFIX=/usr -DCMAKE_INSTALL_LIBDIR=lib -DINSTALL_GTEST=OFF ..
    make
}

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