require carl version 17.08

moves-rwth · Aug 10, 2017 · c639f39 · c639f39
1 parent ea7843d
commit c639f39
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/resources/3rdparty/CMakeLists.txt b/resources/3rdparty/CMakeLists.txt
@@ -200,7 +200,7 @@ include(${STORM_3RDPARTY_SOURCE_DIR}/include_cudd.cmake)
 
 set(STORM_HAVE_CARL OFF)
 set(CARL_MINYEAR 17)
-set(CARL_MINMONTH 06)
+set(CARL_MINMONTH 08)
 set(CARL_MINPATCH 0)
 if(USE_CARL)
 	if (NOT STORM_FORCE_SHIPPED_CARL)

diff --git a/resources/3rdparty/carl/CMakeLists.txt b/resources/3rdparty/carl/CMakeLists.txt
@@ -8,7 +8,7 @@ message(STORM_3RDPARTY_BINARY_DIR: ${STORM_3RDPARTY_BINARY_DIR})
 
 ExternalProject_Add(carl-config
 	GIT_REPOSITORY https://github.com/smtrat/carl
-        GIT_TAG master
+        GIT_TAG 17.08
 	PREFIX here
 	SOURCE_DIR source_dir
 	BINARY_DIR ${STORM_3RDPARTY_BINARY_DIR}/carl