Merge branch 'master' of https://srv-i2.informatik.rwth-aachen.de/scm/git/storm

resources/3rdparty/CMakeLists.txt

@@ -199,6 +199,9 @@ include(${STORM_3RDPARTY_SOURCE_DIR}/include_cudd.cmake)
 #############################################################
 
 set(STORM_HAVE_CARL OFF)
+set(CARL_MINYEAR 17)
+set(CARL_MINMONTH 06)
+set(CARL_MINPATCH 0)
 if(USE_CARL)
 	if (NOT STORM_FORCE_SHIPPED_CARL)
     	find_package(carl QUIET)
@@ -212,6 +215,18 @@ if(USE_CARL)
         else()
             message(SEND_ERROR "File ${carlLOCATION} does not exist, did you build carl?")
         endif()
+        if(${carl_MINORYEARVERSION} LESS ${CARL_MINYEAR})
+            message(SEND_ERROR "Carl outdated, require ${CARL_MINYEAR}.${CARL_MINMONTH}.${CARL_MINPATCH}, have ${carl_VERSION}")
+        elseif(${carl_MINORYEARVERSION} EQUAL ${CARL_MINYEAR})
+            if(${carl_MINORMONTHVERSION} LESS ${CARL_MINMONTH})
+                message(SEND_ERROR "Carl outdated, require ${CARL_MINYEAR}.${CARL_MINMONTH}.${CARL_MINPATCH}, have ${carl_VERSION}")
+             elseif(${carl_MINORMONTHVERSION} EQUAL ${CARL_MINMONTH})
+                if(${carl_MAINTENANCEVERSION} LESS ${CARL_MINPATCH})
+                    message(SEND_ERROR "Carl outdated, require ${CARL_MINYEAR}.${CARL_MINMONTH}.${CARL_MINPATCH}, have ${carl_VERSION}")
+                endif()
+            endif()
+        endif()
+
         set(STORM_SHIPPED_CARL OFF)
         set(STORM_HAVE_CARL ON)
         message(STATUS "Storm - Use system version of carl.")