PKGBUILD


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37

# Maintainer: Mads Mogensen <mads256h at gmail dot 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"
}