diff options
| author |   Alessandro Barbieri <lssndrbarbieri@gmail.com> | 2022-05-05 20:01:22 +0200 |
|---|---|---|
| committer | Alessandro Barbieri <lssndrbarbieri@gmail.com> | 2022-05-06 01:37:52 +0200 |
| commit | f2e4c35a07884737da67a07e33f29c61625e1e92 (patch) | |
| tree | a5d394be24feb8247fc9b3bad5d0d737c8ab00f6 /sci-mathematics | |
| parent | sys-cluster/cinder: add missing test dep (diff) | |
| download | guru-f2e4c35a07884737da67a07e33f29c61625e1e92.tar.gz guru-f2e4c35a07884737da67a07e33f29c61625e1e92.tar.bz2 guru-f2e4c35a07884737da67a07e33f29c61625e1e92.zip | |
sci-mathematics/clingo: system catch
Closes: https://bugs.gentoo.org/842798
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
Diffstat (limited to 'sci-mathematics')
| -rw-r--r-- | sci-mathematics/clingo/clingo-5.5.1-r1.ebuild | 11 |
1 files changed, 9 insertions, 2 deletions
diff --git a/sci-mathematics/clingo/clingo-5.5.1-r1.ebuild b/sci-mathematics/clingo/clingo-5.5.1-r1.ebuild index 087adc44c..50983d7ec 100644 --- a/sci-mathematics/clingo/clingo-5.5.1-r1.ebuild +++ b/sci-mathematics/clingo/clingo-5.5.1-r1.ebuild @@ -6,7 +6,7 @@ EAPI=8 LUA_COMPAT=( lua5-{3..4} ) PYTHON_COMPAT=( python3_{8..10} ) # IDK how to pass pypy3 -inherit cmake lua-single python-single-r1 toolchain-funcs +inherit cmake flag-o-matic lua-single python-single-r1 toolchain-funcs DESCRIPTION="Integrated grounder and solver for answer set logic programs" HOMEPAGE=" @@ -27,7 +27,10 @@ RDEPEND=" lua? ( ${LUA_DEPS} ) python? ( ${PYTHON_DEPS} ) " -DEPEND="${RDEPEND}" +DEPEND=" + ${RDEPEND} + test? ( dev-cpp/catch:0 ) +" BDEPEND=" >=dev-util/re2c-0.13.5 >=sys-devel/bison-2.5 @@ -48,10 +51,14 @@ pkg_setup() { src_prepare() { rm -r clasp || die + rm libreify/tests/catch.hpp || die + rm libclingo/tests/catch.hpp || die + rm libgringo/tests/catch.hpp || die cmake_src_prepare } src_configure() { + append-cxxflags "-I/usr/include/catch2" local mycmakeargs=( -DCLINGO_BUILD_APPS=$(usex tools) -DCLINGO_BUILD_EXAMPLES=$(usex examples) |