Debian Patches

Status for cvc4/1.8-2

Patch Description Author Forwarded Bugs Origin Last update
00-timestamps.patch Make timestamps reproducible Fabian Wolff <fabi.wolff@arcor.de> no 2017-03-17
01-disable-tests.patch 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.
Fabian Wolff <fabi.wolff@arcor.de> no 2020-08-30
02-install-lib-dir.patch Libraries should be installed into $(CMAKE_INSTALL_LIBDIR) Fabian Wolff <fabi.wolff@arcor.de> yes 2020-08-30
03-remove-build-path.patch Remove build path from generated header files Fabian Wolff <fabi.wolff@arcor.de> yes 2020-08-31
04-spelling-errors.patch Fix spelling errors found by Lintian Fabian Wolff <fabi.wolff@arcor.de> yes 2020-08-31
05-fix-headers.patch The fix-install-headers.sh script doesn't work with DESTDIR Fabian Wolff <fabi.wolff@arcor.de> yes 2020-08-31
06-disable-tests.patch Disable several failing test cases for now Fabian Wolff <fabi.wolff@arcor.de> yes debian upstream 2020-09-17

All known versions for source package 'cvc4'

Links