From 4eca7007a3f0b9be98daeef253ccfd145b65a33a Mon Sep 17 00:00:00 2001 From: Gereon Kremer Date: Tue, 10 May 2022 01:18:15 -0700 Subject: [PATCH] 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 | 1 + 1 file changed, 1 insertion(+) 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) -- 2.30.2