diff options
author | Johannes Dewender | 2014-07-10 15:31:22 +0200 |
---|---|---|
committer | Johannes Dewender | 2014-07-10 15:31:22 +0200 |
commit | 1418f618a999b75676ec65477662cd9b3b3f18a9 (patch) | |
tree | f3871d24162e9d723b5ae889eb18da2e535e16cd | |
download | aur-1418f618a999b75676ec65477662cd9b3b3f18a9.tar.gz |
lola1: created with 1.18
This is lola1 because lola 2 is already released but not compatible.
Lola 2 will be in a "lola" package.
-rw-r--r-- | .SRCINFO | 14 | ||||
-rw-r--r-- | .gitignore | 8 | ||||
-rw-r--r-- | PKGBUILD | 31 | ||||
-rw-r--r-- | lola1.install | 22 |
4 files changed, 75 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO new file mode 100644 index 000000000000..0138d964a064 --- /dev/null +++ b/.SRCINFO @@ -0,0 +1,14 @@ +pkgbase = lola1 + pkgdesc = A Low Level Petri Net Analyzer + pkgver = 1.18 + pkgrel = 1 + url = http://service-technology.org/lola/ + install = lola1.install + arch = i686 + arch = x86_64 + license = AGPL3 + source = http://download.gna.org/service-tech/lola/lola-1.18.tar.gz + sha256sums = 33c8ebfb1ddcee0e661370622ea8c1d9c7188f8c8bd09e6ee7c0dea5329c227f + +pkgname = lola1 + diff --git a/.gitignore b/.gitignore new file mode 100644 index 000000000000..bd9b4a41adc0 --- /dev/null +++ b/.gitignore @@ -0,0 +1,8 @@ +*.tar.gz +*.tar.xz +*.tgz +*.rpm +*.zip +*.bz2 +src/ +pkg/ diff --git a/PKGBUILD b/PKGBUILD new file mode 100644 index 000000000000..6b72efa4c7b6 --- /dev/null +++ b/PKGBUILD @@ -0,0 +1,31 @@ +# Contributor: Johannes Dewender arch at JonnyJD dot net +pkgname=lola1 +_pkgname=lola +pkgver=1.18 +pkgrel=1 +pkgdesc="A Low Level Petri Net Analyzer" +arch=('i686' 'x86_64') +url="http://service-technology.org/lola/" +license=('AGPL3') +provides=() +conflicts=() +options=() +install=lola1.install +source=(http://download.gna.org/service-tech/$_pkgname/$_pkgname-$pkgver.tar.gz) +sha256sums=('33c8ebfb1ddcee0e661370622ea8c1d9c7188f8c8bd09e6ee7c0dea5329c227f') + +build() { + cd "$srcdir/$_pkgname-$pkgver" + ./configure --prefix=/usr + make +} + +check() { + cd "$srcdir/$_pkgname-$pkgver" + make check +} + +package() { + cd "$srcdir/$_pkgname-$pkgver" + make DESTDIR="$pkgdir/" install +} diff --git a/lola1.install b/lola1.install new file mode 100644 index 000000000000..13d99cef4fff --- /dev/null +++ b/lola1.install @@ -0,0 +1,22 @@ +infodir=usr/share/info +filelist=(lola.info) + +post_install() { + [[ -x usr/bin/install-info ]] || return 0 + for file in "${filelist[@]}"; do + install-info "$infodir/$file.gz" "$infodir/dir" 2> /dev/null + done +} + +post_upgrade() { + post_install "$1" +} + +pre_remove() { + [[ -x usr/bin/install-info ]] || return 0 + for file in "${filelist[@]}"; do + install-info --delete "$infodir/$file.gz" "$infodir/dir" 2> /dev/null + done +} + +# vim:set ts=2 sw=2 et: |