diff options
author | Mads Mogensen | 2023-10-26 11:58:13 +0200 |
---|---|---|
committer | Mads Mogensen | 2023-10-26 11:58:13 +0200 |
commit | 951cfab427c9dda782eb6c2eb129e17e57ba0ba4 (patch) | |
tree | 347dc98413e60d2c52faa7f363baf06856edf6f2 | |
download | aur-951cfab427c9dda782eb6c2eb129e17e57ba0ba4.tar.gz |
init
-rw-r--r-- | .SRCINFO | 13 | ||||
-rw-r--r-- | PKGBUILD | 39 |
2 files changed, 52 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO new file mode 100644 index 000000000000..1ddd0098721c --- /dev/null +++ b/.SRCINFO @@ -0,0 +1,13 @@ +pkgbase = verifytapn-git + pkgdesc = VerifyTAPN is a stand-alone verification engine for timed-arc Petri nets, developed for the verification tool TAPAAL. + pkgver = a12a596 + pkgrel = 1 + url = https://www.tapaal.net/ + arch = x86_64 + license = GPL2 + makedepends = cmake + makedepends = git + source = verifytapn-git::git+https://github.com/TAPAAL/verifytapn.git + sha512sums = SKIP + +pkgname = verifytapn-git diff --git a/PKGBUILD b/PKGBUILD new file mode 100644 index 000000000000..a813d7385059 --- /dev/null +++ b/PKGBUILD @@ -0,0 +1,39 @@ +# Maintainer: Daniel Peukert <daniel@peukert.cc> +# Contributor: Maxime Gauduin <alucryd@archlinux.org> +# Contributor: Lightning <sgsdxzy@gmail.com> +# Contributor: Andrew Phelps <andrewphelpsj@gmail.com> +pkgname="verifytapn-git" +pkgver='a12a596' +pkgrel='1' +pkgdesc='VerifyTAPN is a stand-alone verification engine for timed-arc Petri nets, developed for the verification tool TAPAAL.' +arch=('x86_64') +url="https://www.tapaal.net/" +license=('GPL2') +depends=() +makedepends=('cmake' 'git') +source=( + "$pkgname::git+https://github.com/TAPAAL/verifytapn.git" +) +sha512sums=('SKIP') + +pkgver() { + cd "$srcdir/$pkgname/" + git rev-parse --short HEAD +} + +build() { + cd "$srcdir/$pkgname/" + cmake -S '.' -B 'build/' \ + -DCMAKE_BUILD_TYPE=Prebuild \ + -DCMAKE_INSTALL_PREFIX='/usr' + make -C 'build/' + + cmake -S '.' -B 'build/' \ + -DCMAKE_BUILD_TYPE=Release \ + -DCMAKE_INSTALL_PREFIX='/usr' + make -C 'build/' +} + +package() { + install -Dm 755 "$srcdir/$pkgname/build/verifytapn/bin/verifytapn-linux64" "$pkgdir/usr/bin/verifytapn" +} |