23 lines
900 B
Diff
23 lines
900 B
Diff
--- CMakeLists.txt~ 2022-01-22 12:06:27.146275717 +0100
|
|
+++ CMakeLists.txt 2022-01-22 12:09:04.109182403 +0100
|
|
@@ -238,19 +238,6 @@
|
|
endif ()
|
|
|
|
#-----------------------------------------------------------------------------#
|
|
-# 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(...)))
|
|
#
|
|
# These options are only set if their value is IGNORE. Otherwise, the user
|