diff options
| -rw-r--r-- | testing/gringo/010_include_cmath.patch | 14 | ||||
| -rw-r--r-- | testing/gringo/APKBUILD | 13 |
2 files changed, 23 insertions, 4 deletions
diff --git a/testing/gringo/010_include_cmath.patch b/testing/gringo/010_include_cmath.patch new file mode 100644 index 00000000000..8628a1d9141 --- /dev/null +++ b/testing/gringo/010_include_cmath.patch @@ -0,0 +1,14 @@ +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 index 6c543a51687..9ad25e4c004 100644 --- a/testing/gringo/APKBUILD +++ b/testing/gringo/APKBUILD @@ -11,7 +11,9 @@ depends="" makedepends="re2c scons bison" install="" subpackages="" -source="https://downloads.sourceforge.net/project/potassco/gringo/${pkgver}/gringo-${pkgver}-source.tar.gz" +source="https://downloads.sourceforge.net/project/potassco/gringo/${pkgver}/gringo-${pkgver}-source.tar.gz + 010_include_cmath.patch + " builddir="$srcdir"/$pkgname-$pkgver-source build() { @@ -26,6 +28,9 @@ package() { done } -md5sums="4ea7868ea5bdc0441b652743308d55d9 gringo-4.5.2-source.tar.gz" -sha256sums="36d86321c54499cabf498dac0923b39e43c7a248919224a11c2d15e4ecec9d65 gringo-4.5.2-source.tar.gz" -sha512sums="36d484377a6d905b29a6ad2ecfa0729345c7a52a3dc140ba78003e45d811c4de740dafeab551ac034cb7d979b7cbd25ddf41f3e4881a661dcb8f152baa9957f7 gringo-4.5.2-source.tar.gz" +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" |