diff options
-rw-r--r-- | .SRCINFO | 14 | ||||
-rw-r--r-- | PKGBUILD | 38 |
2 files changed, 52 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO new file mode 100644 index 000000000000..2bf113bef087 --- /dev/null +++ b/.SRCINFO @@ -0,0 +1,14 @@ +pkgbase = ff-planner + pkgdesc = The ff planner implementation by J. Hoffmann. + pkgver = 2.3 + pkgrel = 1 + url = https://fai.cs.uni-saarland.de/hoffmann/ff.html + arch = x86_64 + license = GPL3 + makedepends = flex + makedepends = bison + source = https://fai.cs.uni-saarland.de/hoffmann/ff/FF-v2.3.tgz + md5sums = 709a3c5c4b327b44c7f182ceaaa9481d + +pkgname = ff-planner + diff --git a/PKGBUILD b/PKGBUILD new file mode 100644 index 000000000000..b50da2befef5 --- /dev/null +++ b/PKGBUILD @@ -0,0 +1,38 @@ +# Maintainer: Your Tambup <alberto.tamburini@hotmail.it> +pkgname=ff-planner +pkgver=2.3 +pkgrel=1 +epoch= +pkgdesc="The ff planner implementation by J. Hoffmann." +arch=('x86_64') +url="https://fai.cs.uni-saarland.de/hoffmann/ff.html" +license=('GPL3') +groups=() +depends=() +makedepends=( + 'flex' + 'bison' +) +checkdepends=() +optdepends=() +provides=() +conflicts=() +replaces=() +backup=() +options=() +install= +changelog= +source=("https://fai.cs.uni-saarland.de/hoffmann/ff/FF-v2.3.tgz") +noextract=() +md5sums=('709a3c5c4b327b44c7f182ceaaa9481d') +validpgpkeys=() + +build() { + cd "$srcdir/FF-v$pkgver" + make CFLAGS='-fcommon' +} + +package() { + mkdir -p "$pkgdir/usr/bin" + mv "$srcdir/FF-v$pkgver/ff" "$pkgdir/usr/bin/ff-planner" +} |