cmake: Use ld.gold if available for faster link times. (#3738)

diff --git a/CMakeLists.txt b/CMakeLists.txt
index 1c187eff3dbc21bb1575619356209768ab686dff..e5d0cf0e5e231a2b3895632e94e039430d5c46bc 100644 (file)
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -240,6 +240,19 @@ add_check_c_cxx_flag("-Wimplicit-fallthrough")
 # cdlist.h warnings. Remove when fixed.
 add_check_cxx_flag("-Wno-class-memaccess")
 
+#-----------------------------------------------------------------------------#
+# Use ld.gold if available
+
+execute_process(COMMAND ${CMAKE_C_COMPILER}
+                -fuse-ld=gold
+                -Wl,--version ERROR_QUIET OUTPUT_VARIABLE LD_VERSION)
+if ("${LD_VERSION}" MATCHES "GNU gold")
+  string(APPEND CMAKE_EXE_LINKER_FLAGS " -fuse-ld=gold")
+  string(APPEND CMAKE_SHARED_LINKER_FLAGS " -fuse-ld=gold")
+  string(APPEND CMAKE_MODULE_LINKER_FLAGS " -fuse-ld=gold")
+  message(STATUS "Using GNU gold linker.")
+endif ()
+
 #-----------------------------------------------------------------------------#
 # Option defaults (three-valued options (cvc4_option(...)))
 #