diff options
| author | Johan Manuel | 2019-06-02 22:03:50 +0200 |
|---|---|---|
| committer | Johan Manuel | 2019-06-02 22:03:50 +0200 |
| commit | d4c25e73dbf5ef0ebba2458f4202d9b0d43826bb (patch) | |
| tree | 94738e3038d0f60e58b10ffced0aa33739489f5b | |
| download | aur-d4c25e73dbf5ef0ebba2458f4202d9b0d43826bb.tar.gz | |
initial commit for tina-tpn
| -rw-r--r-- | .SRCINFO | 15 | ||||
| -rw-r--r-- | PKGBUILD | 27 |
2 files changed, 42 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO new file mode 100644 index 000000000000..dfa5f21546ae --- /dev/null +++ b/.SRCINFO @@ -0,0 +1,15 @@ +pkgbase = tina-tpn + pkgdesc = TIme Petri Net Analyzer + pkgver = 3.5.0 + pkgrel = 0 + url = http://projects.laas.fr/tina/home.php + arch = x86_64 + license = unknown + depends = gmp + depends = graphviz + options = !strip + source = http://projects.laas.fr/tina/binaries/tina-3.5.0-x86_64-linux.tar.gz + md5sums = 4aeeda8dca7f1cb98f0ce6206bfc3891 + +pkgname = tina-tpn + diff --git a/PKGBUILD b/PKGBUILD new file mode 100644 index 000000000000..0ab6680380f6 --- /dev/null +++ b/PKGBUILD @@ -0,0 +1,27 @@ +# Maintainer: Johan Manuel <johan29.manuel at gmail dot com> +pkgname=tina-tpn +pkgver=3.5.0 +pkgrel=0 +pkgdesc="TIme Petri Net Analyzer" +arch=('x86_64') +url="http://projects.laas.fr/tina/home.php" +license=('unknown') +depends=(gmp graphviz) +options=(!strip) +source=("http://projects.laas.fr/tina/binaries/tina-$pkgver-$arch-linux.tar.gz") +md5sums=('4aeeda8dca7f1cb98f0ce6206bfc3891') + +package() { + cd "tina-$pkgver" + + cd doc/man/mann + for f in *.n; do + mv -- "$f" "${f%.n}.1" + done + cd ../../.. + + mkdir -p "$pkgdir/usr/lib" "$pkgdir/usr/bin" "$pkgdir/usr/share/man/man1" + cp -r $(find bin | grep -Ev 'dot|circo|neato') "$pkgdir/usr/bin" + cp -r lib/libpol* "$pkgdir/usr/lib" + cp -r doc/man/mann/* "$pkgdir/usr/share/man/man1" +} |