mirror of
https://anongit.gentoo.org/git/repo/gentoo.git
synced 2025-12-20 00:48:23 +00:00
23 lines
1.1 KiB
Diff
23 lines
1.1 KiB
Diff
diff --git a/src/CMakeLists.txt.orig b/src/CMakeLists.txt
|
|
index 1bd0cb2..7ea94f5 100644
|
|
--- a/src/CMakeLists.txt.orig
|
|
+++ b/src/CMakeLists.txt
|
|
@@ -40,15 +40,15 @@ endif()
|
|
enable_testing()
|
|
|
|
option(MULTI_THREAD "MULTI_THREAD" ON)
|
|
-option(CCACHE "use ccache" ON)
|
|
+option(CCACHE "use ccache" OFF)
|
|
option(SPLIT_STACK "SPLIT_STACK" OFF)
|
|
# When OFF we disable LLVM support
|
|
option(LLVM "LLVM" OFF)
|
|
|
|
# When ON we include githash in the version string
|
|
-option(USE_GITHASH "GIT_HASH" ON)
|
|
+option(USE_GITHASH "GIT_HASH" OFF)
|
|
# When ON we install LICENSE files to CMAKE_INSTALL_PREFIX
|
|
-option(INSTALL_LICENSE "INSTALL_LICENSE" ON)
|
|
+option(INSTALL_LICENSE "INSTALL_LICENSE" OFF)
|
|
# When ON thread storage is automatically finalized, it assumes platform support pthreads.
|
|
# This option is important when using Lean as library that is invoked from a different programming language (e.g., Haskell).
|
|
option(AUTO_THREAD_FINALIZATION "AUTO_THREAD_FINALIZATION" ON)
|