diff options
| author |   Maciej Barć <xgqt@gentoo.org> | 2022-11-06 21:09:52 +0100 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2022-11-06 21:10:54 +0100 |
| commit | d1f7a354dc856bde7a58abfe3d4c5f2cff71ccfa (patch) | |
| tree | 9cd2f960462cab0b4075a1dbbd756f24463d94b4 /sci-mathematics/stp | |
| parent | app-emulation/uxn: bump to 0_p20221022 (diff) | |
| download | gentoo-d1f7a354dc856bde7a58abfe3d4c5f2cff71ccfa.tar.gz gentoo-d1f7a354dc856bde7a58abfe3d4c5f2cff71ccfa.tar.bz2 gentoo-d1f7a354dc856bde7a58abfe3d4c5f2cff71ccfa.zip | |
sci-mathematics/stp: do not run C API tests
Closes: https://bugs.gentoo.org/879325
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'sci-mathematics/stp')
| -rw-r--r-- | sci-mathematics/stp/stp-2.3.3-r2.ebuild | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/sci-mathematics/stp/stp-2.3.3-r2.ebuild b/sci-mathematics/stp/stp-2.3.3-r2.ebuild index e59e4388c2c3..5f29dc351697 100644 --- a/sci-mathematics/stp/stp-2.3.3-r2.ebuild +++ b/sci-mathematics/stp/stp-2.3.3-r2.ebuild @@ -11,7 +11,8 @@ PYTHON_COMPAT=( python3_{8,9,10} ) inherit flag-o-matic python-single-r1 cmake DESCRIPTION="Simple Theorem Prover, an efficient SMT solver for bitvectors" -HOMEPAGE="https://stp.github.io/" +HOMEPAGE="https://stp.github.io/ + https://github.com/stp/stp/" SRC_URI="https://github.com/stp/stp/archive/${PV}.tar.gz -> ${P}.tar.gz test? ( https://github.com/stp/OutputCheck/archive/${OC_H}.tar.gz -> ${P}_OutputCheck.tar.gz @@ -82,6 +83,7 @@ src_configure() { fi local 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) |