[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/stp/

[Maciej Barć]

commit:     57c9698e1ddecc9a6bd97d304d9da851e4c9d158
Author:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Fri Jun 28 23:26:28 2024 +0000
Commit:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Fri Jun 28 23:27:08 2024 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=57c9698e

sci-mathematics/stp: build tweaks

Closes: https://bugs.gentoo.org/880135
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>

 sci-mathematics/stp/stp-2.3.3-r3.ebuild |  8 +++++++-
 sci-mathematics/stp/stp-2.3.4.ebuild    | 10 +++++++---
 2 files changed, 14 insertions(+), 4 deletions(-)

diff --git a/sci-mathematics/stp/stp-2.3.3-r3.ebuild 
b/sci-mathematics/stp/stp-2.3.3-r3.ebuild
index ae62721212d2..bd4d40fd22d4 100644
--- a/sci-mathematics/stp/stp-2.3.3-r3.ebuild
+++ b/sci-mathematics/stp/stp-2.3.3-r3.ebuild
@@ -100,12 +100,18 @@ src_configure() {
        fi
 
        local -a mycmakeargs=(
-               -DTEST_C_API=OFF  # C API test fail
                -DNOCRYPTOMINISAT=$(usex cryptominisat 'OFF' 'ON')  # double 
negation
                -DENABLE_PYTHON_INTERFACE=$(usex python)
                -DENABLE_ASSERTIONS=$(usex test)
                -DENABLE_TESTING=$(usex test)
        )
+
+       if use test ; then
+               mycmakeargs+=(
+                       -DTEST_C_API=OFF  # C API test fail
+               )
+       fi
+
        cmake_src_configure
 }
 

diff --git a/sci-mathematics/stp/stp-2.3.4.ebuild 
b/sci-mathematics/stp/stp-2.3.4.ebuild
index ab1cbf96c2d2..ab792a8ff3cd 100644
--- a/sci-mathematics/stp/stp-2.3.4.ebuild
+++ b/sci-mathematics/stp/stp-2.3.4.ebuild
@@ -78,9 +78,6 @@ src_configure() {
        fi
 
        local -a mycmakeargs=(
-               # -DGTEST_PREFIX="${BROOT}/usr/$(get_libdir)/cmake/GTest"
-
-               -DTEST_C_API=OFF  # C API test fail
                -DUSE_RISS=OFF
 
                # Cryptominisat switches
@@ -91,6 +88,13 @@ src_configure() {
                -DENABLE_ASSERTIONS=$(usex test)
                -DENABLE_TESTING=$(usex test)
        )
+
+       if use test ; then
+               mycmakeargs+=(
+                       -DTEST_C_API=OFF  # C API test fail
+               )
+       fi
+
        cmake_src_configure
 }