Package: cvc4 / 1.8-2
Metadata
Package | Version | Patches format |
---|---|---|
cvc4 | 1.8-2 | 3.0 (quilt) |
Patch series
view the series filePatch | File delta | Description |
---|---|---|
00 timestamps.patch | (download) |
src/base/configuration.cpp |
2 1 + 1 - 0 ! |
make timestamps reproducible |
01 disable tests.patch | (download) |
test/regress/CMakeLists.txt |
18 9 + 9 - 0 ! |
disable some test cases The regress* test cases disabled by this patch are absurdly large and significantly slow down the build. They may be valuable for the upstream developers, but I think for Debian's purposes, the functionality of CVC4 is sufficiently tested by the other >2000 test cases (especially since we're packaging an official release, which has hopefully already been thoroughly tested before). Additionally, the system* test cases don't work, not because of a functional failure of CVC4, but because there is some error in their setup, so this patch disables them as well. |
02 install lib dir.patch | (download) |
CMakeLists.txt |
3 1 + 2 - 0 ! |
libraries should be installed into $(cmake_install_libdir) |
03 remove build path.patch | (download) |
src/expr/CMakeLists.txt |
10 10 + 0 - 0 ! |
remove build path from generated header files |
04 spelling errors.patch | (download) |
proofs/signatures/drat.plf |
2 1 + 1 - 0 ! |
fix spelling errors found by lintian |
05 fix headers.patch | (download) |
src/fix-install-headers.sh |
3 2 + 1 - 0 ! |
the fix-install-headers.sh script doesn't work with destdir |
06 disable tests.patch | (download) |
test/regress/CMakeLists.txt |
112 56 + 56 - 0 ! |
disable several failing test cases for now |