From: slaren <redacted>
Date: Fri, 28 Jun 2024 10:37:45 +0000 (+0200)
Subject: cmake : allow user to override default options (#8178)
X-Git-Tag: upstream/0.0.4488~1226
X-Git-Url: https://git.djapps.eu/?a=commitdiff_plain;h=b851b3fba0a1b06a1129189bac300e07dd1648c8;p=pkg%2Fggml%2Fsources%2Fllama.cpp

cmake : allow user to override default options (#8178)
---

diff --git a/CMakeLists.txt b/CMakeLists.txt
index dba08308..e3a0cc36 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -79,8 +79,15 @@ set(GGML_SANITIZE_ADDRESS   ${LLAMA_SANITIZE_ADDRESS})
 set(GGML_SANITIZE_UNDEFINED ${LLAMA_SANITIZE_UNDEFINED})
 set(GGML_ALL_WARNINGS       ${LLAMA_ALL_WARNINGS})
 set(GGML_FATAL_WARNINGS     ${LLAMA_FATAL_WARNINGS})
-set(GGML_LLAMAFILE          ON)
-set(GGML_CUDA_USE_GRAPHS    ON)
+
+# change the default for these ggml options
+if (NOT DEFINED GGML_LLAMAFILE)
+    set(GGML_LLAMAFILE ON)
+endif()
+
+if (NOT DEFINED GGML_CUDA_USE_GRAPHS)
+    set(GGML_CUDA_USE_GRAPHS ON)
+endif()
 
 # transition helpers
 function (llama_option_depr TYPE OLD NEW)