diff options
author | crwxrws | 2019-10-10 02:46:11 +0200 |
---|---|---|
committer | crwxrws | 2019-10-10 02:50:05 +0200 |
commit | b47083c4ebf5a2ef363b67276234653860e18888 (patch) | |
tree | 0c745778a1fff730b52ee748cfe5e9bfec8d6d93 | |
download | aur-b47083c4ebf5a2ef363b67276234653860e18888.tar.gz |
Initial commit
-rw-r--r-- | .SRCINFO | 16 | ||||
-rw-r--r-- | PKGBUILD | 21 |
2 files changed, 37 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO new file mode 100644 index 000000000000..22180dcb35ff --- /dev/null +++ b/.SRCINFO @@ -0,0 +1,16 @@ +pkgbase = ofmc-bin + pkgdesc = Open-Source Fixed-Point Model-Checker + pkgver = 2018 + pkgrel = 1 + url = http://www.imm.dtu.dk/~samo/ + arch = x86_64 + license = BSD + depends = gmp + depends = libffi + provides = ofmc=2018 + conflicts = ofmc + source = http://www.imm.dtu.dk/~samo/ofmc-2018.zip + md5sums = 25dbffa5e0f8da90fa6b28d943b09965 + +pkgname = ofmc-bin + diff --git a/PKGBUILD b/PKGBUILD new file mode 100644 index 000000000000..bbe02362b9fe --- /dev/null +++ b/PKGBUILD @@ -0,0 +1,21 @@ +# Maintainer: Fridrich Csoltko <crwxrws@protonmail.com> + +pkgname=ofmc-bin +_pkgname=ofmc +pkgver=2018 +pkgrel=1 +pkgdesc="Open-Source Fixed-Point Model-Checker" +arch=('x86_64') +url="http://www.imm.dtu.dk/~samo/" +license=('BSD') +depends=('gmp' 'libffi') +provides=("$_pkgname=$pkgver") +conflicts=("$_pkgname") +source=("http://www.imm.dtu.dk/~samo/$_pkgname-$pkgver.zip") +md5sums=('25dbffa5e0f8da90fa6b28d943b09965') + +package() { + cd "$srcdir/$_pkgname-$pkgver" + install -Dm755 "executable for linux/$_pkgname" "$pkgdir/usr/bin/$_pkgname" + install -Dm644 "BSD License.txt" "$pkgdir/usr/share/licenses/$pkgname/LICENSE" +} |