projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 18be156) | patch
Compress debug symbols to make libcvc5 smaller (#8743)
authorGereon Kremer <gereon.kremer@cs.rwth-aachen.de>
Tue, 10 May 2022 08:18:15 +0000 (01:18 -0700)
committerGitHub <noreply@github.com>
Tue, 10 May 2022 08:18:15 +0000 (08:18 +0000)
commit4eca7007a3f0b9be98daeef253ccfd145b65a33a
tree663e6672c9366155d56994662edaef9dc5edfb46tree
parent18be156d626248e8c0b125e98f4aac059fa085c9commit | diff
Compress debug symbols to make libcvc5 smaller (#8743)

This adds `-gz` which compresses the debug symbols to make debug builds smaller. In my setup, `libcvc5.so` shrinks to about half its size from ~450MB to ~225MB.
CMakeLists.txt diff | blob | history