diff options
| author |   Maciej Barć <xgqt@gentoo.org> | 2023-11-02 23:06:38 +0100 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2023-11-02 23:11:22 +0100 |
| commit | 07cc52f59e59f75285f52bffffa37be0f5bd867f (patch) | |
| tree | cdc5cfba300c0daeafa99393bba228f7c43e8e54 /sci-mathematics/boolector/files | |
| parent | sci-mathematics/btor2tools: patch includes (diff) | |
| download | gentoo-07cc52f59e59f75285f52bffffa37be0f5bd867f.tar.gz gentoo-07cc52f59e59f75285f52bffffa37be0f5bd867f.tar.bz2 gentoo-07cc52f59e59f75285f52bffffa37be0f5bd867f.zip | |
sci-mathematics/boolector: bump to 3.2.3
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'sci-mathematics/boolector/files')
| -rw-r--r-- | sci-mathematics/boolector/files/boolector-3.2.3-cmake-std.patch | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/sci-mathematics/boolector/files/boolector-3.2.3-cmake-std.patch b/sci-mathematics/boolector/files/boolector-3.2.3-cmake-std.patch new file mode 100644 index 000000000000..fd0d840fc64c --- /dev/null +++ b/sci-mathematics/boolector/files/boolector-3.2.3-cmake-std.patch @@ -0,0 +1,10 @@ +--- a/CMakeLists.txt ++++ b/CMakeLists.txt +@@ -196,7 +196,6 @@ set_option(USE_PICOSAT ON) + # btorconfig.h and they are else not yet added to CMAKE_C(XX)_FLAGS at + # file generation time (configure_file). + add_required_c_flag("-std=gnu99") +-add_required_cxx_flag("-std=gnu++11") + + add_check_c_cxx_flag("-W") + add_check_c_cxx_flag("-Wall") |