Package: cvc5 / 1.1.2-3

Metadata

Package Version Patches format
cvc5 1.1.2-3 3.0 (quilt)

Patch series

view the series file
Patch File delta Description
skip himem tests.patch | (download)

test/api/cpp/CMakeLists.txt | 2 0 + 2 - 0 !
1 file changed, 2 deletions(-)

---
dont compress debug.patch | (download)

CMakeLists.txt | 6 5 + 1 - 0 !
1 file changed, 5 insertions(+), 1 deletion(-)

 [patch 1/3] add build option for skipping compression of debug
 symbols


no rpath.patch | (download)

CMakeLists.txt | 5 4 + 1 - 0 !
1 file changed, 4 insertions(+), 1 deletion(-)

 [patch 2/3] add build option for skipping setting of rpath


no pythonic api.patch | (download)

src/api/python/CMakeLists.txt | 38 19 + 19 - 0 !
src/api/python/setup.py.in | 2 1 + 1 - 0 !
2 files changed, 20 insertions(+), 20 deletions(-)

---
debian python install.patch | (download)

src/api/python/CMakeLists.txt | 3 2 + 1 - 0 !
1 file changed, 2 insertions(+), 1 deletion(-)

---
use default linker.patch | (download)

CMakeLists.txt | 3 2 + 1 - 0 !
1 file changed, 2 insertions(+), 1 deletion(-)

 [patch 3/3] add build option for using the default linker