Fix FTBFS due to cryptominisat API changes by disabling cryptominisat
Scott Talbert
1 year, 6 months ago
| 0 | 0 |
cvc4 (1.8-3) UNRELEASED; urgency=medium
|
| 1 | 1 |
|
| 2 | 2 |
* Fix FTBFS with bash 5.2 (Closes: #1020010)
|
|
3 |
* Fix FTBFS due to cryptominisat API changes by disabling cryptominisat
|
| 3 | 4 |
|
| 4 | 5 |
-- Scott Talbert <swt@techie.net> Mon, 17 Oct 2022 10:19:29 -0400
|
| 5 | 6 |
|
| 7 | 7 |
antlr3, libantlr3c-dev,
|
| 8 | 8 |
libboost-thread-dev,
|
| 9 | 9 |
libreadline-dev,
|
| 10 | |
libcryptominisat5-dev,
|
| 11 | 10 |
pkg-config,
|
| 12 | 11 |
cxxtest,
|
| 13 | 12 |
python3, python3-toml,
|
| 24 | 24 |
-DENABLE_UNIT_TESTING=ON -DENABLE_BEST=ON \
|
| 25 | 25 |
-DUSE_READLINE=ON -DUSE_PYTHON3=ON \
|
| 26 | 26 |
-DUSE_ABC=OFF -DUSE_CADICAL=OFF -DUSE_CLN=ON \
|
| 27 | |
-DUSE_CRYPTOMINISAT=ON -DUSE_KISSAT=OFF \
|
|
27 |
-DUSE_CRYPTOMINISAT=OFF -DUSE_KISSAT=OFF \
|
| 28 | 28 |
-DUSE_GLPK=OFF \
|
| 29 | 29 |
-DCMAKE_BUILD_TYPE=Production
|
| 30 | 30 |
|