diff options
| author | Anil Madhavapeddy <anil@recoil.org> | 2016-12-01 18:22:14 +0000 |
|---|---|---|
| committer | Natanael Copa <ncopa@alpinelinux.org> | 2016-12-02 21:20:45 +0000 |
| commit | 3c544c7adbc2e67a352f7b7aea9c0b469d01f1a3 (patch) | |
| tree | b507e705740ee0e9cc35cf6b3076ac023330fa20 /testing | |
| parent | 890751c8877e0ff0bfda6e7b8438b6fe56af660b (diff) | |
| download | aports-3c544c7adbc2e67a352f7b7aea9c0b469d01f1a3.tar.bz2 aports-3c544c7adbc2e67a352f7b7aea9c0b469d01f1a3.tar.xz | |
community/gringo: move from testing to community
Diffstat (limited to 'testing')
| -rw-r--r-- | testing/gringo/010_include_cmath.patch | 14 | ||||
| -rw-r--r-- | testing/gringo/APKBUILD | 36 |
2 files changed, 0 insertions, 50 deletions
diff --git a/testing/gringo/010_include_cmath.patch b/testing/gringo/010_include_cmath.patch deleted file mode 100644 index 8628a1d914..0000000000 --- a/testing/gringo/010_include_cmath.patch +++ /dev/null @@ -1,14 +0,0 @@ -Include cmath header to get std::pow - ---- gringo-4.5.2-source.orig/libgringo/src/term.cc -+++ gringo-4.5.2-source/libgringo/src/term.cc -@@ -21,6 +21,7 @@ - #include "gringo/term.hh" - #include "gringo/logger.hh" - #include "gringo/graph.hh" -+#include <cmath> - - namespace Gringo { - - - diff --git a/testing/gringo/APKBUILD b/testing/gringo/APKBUILD deleted file mode 100644 index 9ad25e4c00..0000000000 --- a/testing/gringo/APKBUILD +++ /dev/null @@ -1,36 +0,0 @@ -# Contributor: Anil Madhavapeddy <anil@recoil.org> -# Maintainer: Anil Madhavapeddy <anil@recoil.org> -pkgname=gringo -pkgver=4.5.2 -pkgrel=0 -pkgdesc="Grounder to translate user-provided logic programs" -url="http://potassco.sourceforge.net/" -arch="all" -license="LGPL3" -depends="" -makedepends="re2c scons bison" -install="" -subpackages="" -source="https://downloads.sourceforge.net/project/potassco/gringo/${pkgver}/gringo-${pkgver}-source.tar.gz - 010_include_cmath.patch - " -builddir="$srcdir"/$pkgname-$pkgver-source - -build() { - cd "$builddir" - scons --build-dir=release gringo clingo reify || return 1 -} - -package() { - cd "$builddir" - for i in gringo clingo reify; do - install -Dm755 "build/release/$i" "$pkgdir/usr/bin/$i" || return 1 - done -} - -md5sums="4ea7868ea5bdc0441b652743308d55d9 gringo-4.5.2-source.tar.gz -fd5de66ef290c02acc3de2e68e41c9e6 010_include_cmath.patch" -sha256sums="36d86321c54499cabf498dac0923b39e43c7a248919224a11c2d15e4ecec9d65 gringo-4.5.2-source.tar.gz -410c2676854f7e7348321394a168ad70c57b0390bf8deac60221e811f6104299 010_include_cmath.patch" -sha512sums="36d484377a6d905b29a6ad2ecfa0729345c7a52a3dc140ba78003e45d811c4de740dafeab551ac034cb7d979b7cbd25ddf41f3e4881a661dcb8f152baa9957f7 gringo-4.5.2-source.tar.gz -426b9d578bfa3a8b10963f5084b2f9879c20b9843795518c484335e51c5de2b62b8d69fb96be829c015511d30d428af1ef3cdfa0b9cc3cfb1fac2581eb60f236 010_include_cmath.patch" |