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 83bd709921384cc2eeea95c2a1eaf7c275b7e698..c693cfe85b932b252b7152821a770acf3bbd29a3 100644 (file)
--- 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)