From: Gereon Kremer <gereon.kremer@cs.rwth-aachen.de>
Date: Tue, 10 May 2022 08:18:15 +0000 (-0700)
Subject: Compress debug symbols to make libcvc5 smaller (#8743)
X-Git-Tag: cvc5-1.0.1~151
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=4eca7007a3f0b9be98daeef253ccfd145b65a33a;p=cvc5.git

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.
---

diff --git a/CMakeLists.txt b/CMakeLists.txt
index 83bd70992..c693cfe85 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -344,6 +344,7 @@ endif()
 
 if(ENABLE_DEBUG_SYMBOLS)
   add_check_c_cxx_flag("-ggdb3")
+  add_check_c_cxx_flag("-gz")
 endif()
 
 if(ENABLE_COMP_INC_TRACK)