diff options
author | Tupone Alfredo <tupone@gentoo.org> | 2019-07-14 21:48:18 +0200 |
---|---|---|
committer | Tupone Alfredo <tupone@gentoo.org> | 2019-07-14 21:48:18 +0200 |
commit | 0165d1484b0c9ad0f2272960c80703e2c0b231f2 (patch) | |
tree | 3cffa84d759de1b6ff898ef7884a1602f09679a8 /sci-mathematics/cvc4/files | |
parent | dev-lang/python: update patchset for 3.7.4 (diff) | |
download | gentoo-0165d1484b0c9ad0f2272960c80703e2c0b231f2.tar.gz gentoo-0165d1484b0c9ad0f2272960c80703e2c0b231f2.tar.bz2 gentoo-0165d1484b0c9ad0f2272960c80703e2c0b231f2.zip |
sci-mathematics/cvc4: Bump to 1.7
Closes: https://bugs.gentoo.org/688652
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Package-Manager: Portage-2.3.66, Repoman-2.3.11
Diffstat (limited to 'sci-mathematics/cvc4/files')
-rw-r--r-- | sci-mathematics/cvc4/files/cvc4-1.7-gentoo.patch | 35 |
1 files changed, 35 insertions, 0 deletions
diff --git a/sci-mathematics/cvc4/files/cvc4-1.7-gentoo.patch b/sci-mathematics/cvc4/files/cvc4-1.7-gentoo.patch new file mode 100644 index 000000000000..849b4a8a4292 --- /dev/null +++ b/sci-mathematics/cvc4/files/cvc4-1.7-gentoo.patch @@ -0,0 +1,35 @@ +--- a/CMakeLists.txt 2019-07-09 14:47:12.552425226 +0200 ++++ b/CMakeLists.txt 2019-07-09 14:50:02.595001358 +0200 +@@ -143,7 +143,7 @@ + + # Note: Module CodeCoverage requires the name of the debug build to conform + # to cmake standards (first letter uppercase). +-set(BUILD_TYPES Production Debug Testing Competition) ++set(BUILD_TYPES Production Debug Testing Competition Gentoo) + + if(ENABLE_ASAN) + #_cmake_modify_IGNORE set(CMAKE_BUILD_TYPE Debug) +@@ -166,12 +166,10 @@ + endif() + + message(STATUS "Building ${CMAKE_BUILD_TYPE} build") +-include(Config${CMAKE_BUILD_TYPE}) + + #-----------------------------------------------------------------------------# + # Compiler flags + +-add_check_c_cxx_flag("-O${OPTIMIZATION_LEVEL}") + add_check_c_cxx_flag("-Wall") + add_check_c_flag("-fexceptions") + add_check_c_cxx_flag("-Wno-deprecated") +--- a/test/regress/CMakeLists.txt 2019-07-14 09:49:38.429990489 +0200 ++++ b/test/regress/CMakeLists.txt 2019-07-14 09:50:28.854234838 +0200 +@@ -1810,7 +1810,7 @@ + regress4/C880mul.miter.shuffled-as.sat03-348.smt + regress4/NEQ016_size5.smt + regress4/bug143.smt +- regress4/comb2.shuffled-as.sat03-420.smt ++ #regress4/comb2.shuffled-as.sat03-420.smt + regress4/hole10.cvc + regress4/instance_1151.smt + ) |