Use Carl 17.10

resources/3rdparty/carl/CMakeLists.txt

@@ -8,15 +8,15 @@ message(STORM_3RDPARTY_BINARY_DIR: ${STORM_3RDPARTY_BINARY_DIR})
 
 ExternalProject_Add(carl-config
 	GIT_REPOSITORY https://github.com/smtrat/carl
-        GIT_TAG 17.08
+	GIT_TAG 17.10
 	PREFIX here
 	SOURCE_DIR source_dir
 	BINARY_DIR ${STORM_3RDPARTY_BINARY_DIR}/carl
 	CMAKE_ARGS -DCMAKE_CXX_COMPILER=${CMAKE_CXX_COMPILER} -DBOOST_INCLUDEDIR=${Boost_INCLUDE_DIRS} -DBOOST_LIBRARYDIR=${Boost_LIBRARY_DIRS} -DBoost_NO_SYSTEM_PATHS=ON -DEXPORT_TO_CMAKE=ON -DTHREAD_SAFE=ON -DUSE_CLN_NUMBERS=ON -DUSE_GINAC=ON -DCMAKE_SKIP_INSTALL_ALL_DEPENDENCY=ON -DCMAKE_INSTALL_PREFIX:PATH=${STORM_3RDPARTY_BINARY_DIR}/carl
-        BUILD_IN_SOURCE 0
-        LOG_UPDATE OFF
-        LOG_CONFIGURE OFF
-        BUILD_COMMAND "" # Disable build step.
+	BUILD_IN_SOURCE 0
+	LOG_UPDATE OFF
+	LOG_CONFIGURE OFF
+	BUILD_COMMAND "" # Disable build step.
 	INSTALL_COMMAND "" # Disable install step too.
 )
 add_custom_target(build-carl)