diff options
| author | André Fabian Silva Delgado <emulatorman@parabola.nu> | 2014-06-06 13:36:45 -0300 |
|---|---|---|
| committer | André Fabian Silva Delgado <emulatorman@parabola.nu> | 2014-06-06 13:36:45 -0300 |
| commit | d1e161df4f6111d527c2570958ebaf637411e3e2 (patch) | |
| tree | 4231f47e1699769d42f49cccde20687be979e89a /pcr/gringo/PKGBUILD | |
| parent | 84b75f29126e52357bbdd40860269d9197fd68fd (diff) | |
| parent | a93d4a7da5c55af8f8669fdb63194c0680e0f748 (diff) | |
Merge branch 'master' of ssh://projects.parabolagnulinux.org:1863/srv/git/abslibre
Diffstat (limited to 'pcr/gringo/PKGBUILD')
| -rw-r--r-- | pcr/gringo/PKGBUILD | 27 |
1 files changed, 27 insertions, 0 deletions
diff --git a/pcr/gringo/PKGBUILD b/pcr/gringo/PKGBUILD new file mode 100644 index 000000000..a02656821 --- /dev/null +++ b/pcr/gringo/PKGBUILD @@ -0,0 +1,27 @@ +# Contributor (Arch) : Vincent Bernardoff <vb@luminar.eu.org> +# Maintainer (Parabola) : Aurélien DESBRIÈRES <aurelien@hackers.camp> + +pkgname=gringo +groups=('potassco') +pkgver=4.3.0 +pkgrel=1 +pkgdesc="Grounding tools for (disjunctive) logic programs." +arch=('x86_64' 'i686' 'armv6h' 'armv7h') +url="http://potassco.sourceforge.net/" +license=('GPL3') +depends=() +makedepends=('bison' 're2c' 'scons') +source=( + "http://downloads.sourceforge.net/project/potassco/${pkgname}/${pkgver}/${pkgname}-${pkgver}-source.tar.gz" + "uint_max.patch") + +build() { + cd "${srcdir}/${pkgname}-${pkgver}-source" + patch -p1 < "$srcdir/uint_max.patch" + scons --build-dir=release ${pkgname} +} + +package() { + cd "${srcdir}/${pkgname}-${pkgver}-source/build/release" + install -D ${pkgname} ${pkgdir}/usr/bin/${pkgname} +} |