update some wip stuff

moves-rwth · Feb 4, 2025 · 2063d88 · 2063d88
1 parent 029c09f
commit 2063d88
Show file tree

Hide file tree

Showing 3 changed files with 7 additions and 31 deletions.
diff --git a/CMakeLists.txt b/CMakeLists.txt
@@ -527,7 +527,7 @@ endif()
 include(resources/3rdparty/CMakeLists.txt)
 
 # Include Doxygen
-# include(resources/doxygen/CMakeLists.txt)
+include(resources/doxygen/CMakeLists.txt)
 
 #############################################################
 ##
@@ -619,8 +619,11 @@ set(CMAKE_CTEST_COMMAND_VERBOSE ${CMAKE_CTEST_COMMAND} -V)
 add_custom_target(check-verbose COMMAND ${CMAKE_CTEST_COMMAND_VERBOSE})
 add_dependencies(check tests)
 add_dependencies(check-verbose tests)
-# Apply code formatting
-# add_custom_target(format COMMAND ${PROJECT_SOURCE_DIR}/resources/scripts/auto-format.sh)
+
+if(PROJECT_IS_TOP_LEVEL)
+	# Apply code formatting
+	add_custom_target(format COMMAND ${PROJECT_SOURCE_DIR}/resources/scripts/auto-format.sh)
+endif()
 
 set(STORM_TARGETS "")
 add_subdirectory(src)

diff --git a/resources/3rdparty/carl/CMakeLists.txt b/resources/3rdparty/carl/CMakeLists.txt
diff --git a/resources/3rdparty/fetch_carl.cmake b/resources/3rdparty/fetch_carl.cmake
@@ -88,9 +88,7 @@ set(STORM_BOOST_INCLUDE_DIR "${Boost_INCLUDE_DIRS}")
 include(FetchContent)
 FETCHCONTENT_DECLARE(
         carl
-        #SOURCE_DIR /Users/junges/carl
-        GIT_REPOSITORY https://github.com/sjunges/carl-storm.git
-        GIT_TAG  cmakeupdates
+        GIT_REPOSITORY https://github.com/moves-rwth/carl-storm.git
 )
 SET(EXCLUDE_TESTS_FROM_ALL ON)
 SET(CARL_COMPILE_RELEASE ON)