blob: f6fbf7fed4ba532dde919eab8121f6818cef569d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
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)
|
