diff options
| author | Aurélien DESBRIÈRES <aurelien@hackers.camp> | 2014-06-05 23:00:12 +0200 |
|---|---|---|
| committer | Aurélien DESBRIÈRES <aurelien@hackers.camp> | 2014-06-05 23:00:12 +0200 |
| commit | 15980cee9713044fe702c687db6a81db96511cf3 (patch) | |
| tree | 49f0f9ef0bd45b2dbfd35f0a240eeacf15dba805 /pcr | |
| parent | 00b217be93876e0d14b42cdd2e957ff9c4d252af (diff) | |
| download | abslibre-15980cee9713044fe702c687db6a81db96511cf3.tar.gz abslibre-15980cee9713044fe702c687db6a81db96511cf3.tar.bz2 abslibre-15980cee9713044fe702c687db6a81db96511cf3.zip | |
gringo
Diffstat (limited to 'pcr')
| -rw-r--r-- | pcr/gringo/PKGBUILD | 27 | ||||
| -rw-r--r-- | pcr/gringo/uint_max.patch | 20 |
2 files changed, 47 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} +} diff --git a/pcr/gringo/uint_max.patch b/pcr/gringo/uint_max.patch new file mode 100644 index 000000000..b554b9361 --- /dev/null +++ b/pcr/gringo/uint_max.patch @@ -0,0 +1,20 @@ +diff -ur gringo-4.3.0-source/app/gringo/main.cc gringo-4.3.0-source-patched/app/gringo/main.cc +--- gringo-4.3.0-source/app/gringo/main.cc 2014-02-20 18:27:32.000000000 +0100 ++++ gringo-4.3.0-source-patched/app/gringo/main.cc 2014-02-25 15:36:41.432512611 +0100 +@@ -34,6 +34,7 @@ + #include <gringo/version.hh> + #include <gringo/control.hh> + #include <iostream> ++#include <limits> + #include <stdexcept> + #include <program_opts/application.h> + #include <program_opts/typed_value.h> +@@ -263,7 +264,7 @@ + + virtual void run() { + using namespace Gringo; +- grOpts_.verbose = verbose() == UINT_MAX; ++ grOpts_.verbose = verbose() == std::numeric_limits<unsigned int>::max(); + Output::OutputPredicates outPreds; + if (grOpts_.text) { + Output::OutputBase out(std::move(outPreds), std::cout, grOpts_.lpRewrite); |