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
38
39
40
41
42
43
44
45
46
47
48

# Contributor: Johannes Dewender  arch at JonnyJD dot net
pkgname=pnapi
pkgver=4.03
pkgrel=1
pkgdesc="C++ library encapsulating Petri net-related functions"
arch=('i686' 'x86_64')
url="http://service-technology.org/pnapi/"
license=('AGPL3')
checkdepends=('graphviz')
depends=('petrify')
checkdepends=()
optdepends=('graphviz: for svg output with petri'
	'lola1: to use the cdnf tool')
options=()
backup=(etc/petri.conf)
install=pnapi.install
source=(https://web.archive.org/web/20170226061323/http://download.gna.org/service-tech/pnapi/pnapi-4.03.tar.gz)
sha256sums=('2235be39b1c0615ded0197e57661a5127337681f034a8d29bed833f376c8a836')

build() {
	cd "$srcdir/$pkgname-$pkgver"
	./configure --prefix=/usr
	make
}

check() {
	cd "$srcdir/$pkgname-$pkgver"
	# not all tests work or are intended for general use
	cd "tests"
	make check-frontend
	make check-woflan
	make check-ina
	make check-reduction
	make check-roles
	make check-condition
	make check-canonical_names
	make check-automaton
	make check-generator
	make check-configurator
	make check-formulae
}

package() {
	cd "$srcdir/$pkgname-$pkgver"
	make DESTDIR="$pkgdir/" install

	mv $pkgdir/usr/etc $pkgdir/
}