diff options
| -rw-r--r-- | .SRCINFO | 13 | ||||
| -rw-r--r-- | .gitignore | 1 | ||||
| -rw-r--r-- | PKGBUILD | 23 |
3 files changed, 37 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO new file mode 100644 index 000000000000..b68c4ced499e --- /dev/null +++ b/.SRCINFO @@ -0,0 +1,13 @@ +pkgbase = profeat-bin + pkgdesc = Feature-oriented Engineering for Probabilistic Systems + pkgver = 1.0.0.0 + pkgrel = 1 + url = https://wwwtcs.inf.tu-dresden.de/ALGI/PUB/ProFeat/ + arch = x86_64 + license = custom + depends = gmp + source = https://wwwtcs.inf.tu-dresden.de/ALGI/PUB/ProFeat/files/profeat-linux-1.0.0.0.tar.gz + md5sums = 940694d60b89b8a87138b2926a8a18ad + +pkgname = profeat-bin + diff --git a/.gitignore b/.gitignore new file mode 100644 index 000000000000..72e8ffc0db8a --- /dev/null +++ b/.gitignore @@ -0,0 +1 @@ +* diff --git a/PKGBUILD b/PKGBUILD new file mode 100644 index 000000000000..13db207b2733 --- /dev/null +++ b/PKGBUILD @@ -0,0 +1,23 @@ +# Maintainer: Sascha Wunderlich <archlinux at saschawunderlich dot de> +pkgname=profeat-bin +pkgver=1.0.0.0 +pkgrel=1 +pkgdesc="Feature-oriented Engineering for Probabilistic Systems" +arch=(x86_64) +url="https://wwwtcs.inf.tu-dresden.de/ALGI/PUB/ProFeat/" +license=('custom') +groups=() +conflicts=() +provides=() +depends=(gmp) +makedepends=() +source=("https://wwwtcs.inf.tu-dresden.de/ALGI/PUB/ProFeat/files/profeat-linux-$pkgver.tar.gz") +md5sums=('940694d60b89b8a87138b2926a8a18ad') + + +package() { + cd "$srcdir" + + install -Dm755 profeat "$pkgdir/usr/bin/profeat" + install -Dm644 LICENSE "$pkgdir/usr/share/licenses/profeat/LICENSE" +} |