Disable GiNaC and CLN for shipped Carl if not needed

moves-rwth · Jun 13, 2024 · 8662da2 · 8662da2
1 parent 11570e2
commit 8662da2
Showing 1 changed file with 9 additions and 2 deletions.
diff --git a/CMakeLists.txt b/CMakeLists.txt
@@ -175,8 +175,15 @@ else()
 ENDIF()
 message(STATUS "Storm - Detected operating system ${OPERATING_SYSTEM}.")
 
-set(SHIPPED_CARL_USE_CLN_NUMBERS ON)
-set(SHIPPED_CARL_USE_GINAC ON)
+# Set compile flags for dependencies
+if(STORM_USE_CLN_EA OR STORM_USE_CLN_RF)
+	set(SHIPPED_CARL_USE_CLN_NUMBERS ON)
+	set(SHIPPED_CARL_USE_GINAC ON)
+else()
+	set(SHIPPED_CARL_USE_CLN_NUMBERS OFF)
+	set(SHIPPED_CARL_USE_GINAC OFF)
+endif()
+
 # Detect Apple Silicon and adjust settings
 if(APPLE AND ${CMAKE_SYSTEM_PROCESSOR} MATCHES arm64)
 	message(STATUS "Storm - Detected that target system uses Apple Silicon.")