diff --git a/resources/3rdparty/CMakeLists.txt b/resources/3rdparty/CMakeLists.txt index b83be0da3..a9d9f9400 100644 --- a/resources/3rdparty/CMakeLists.txt +++ b/resources/3rdparty/CMakeLists.txt @@ -45,15 +45,15 @@ list(APPEND STORM_DEP_TARGETS gmm) ## ############################################################# -# Checkout Eigen version 3.3.7 -message (STATUS "Storm - Including Eigen 3.3.7.") +# Checkout Eigen version 3.3.9 +message (STATUS "Storm - Including Eigen 3.3.9.") ExternalProject_Add( eigen_src GIT_REPOSITORY https://gitlab.com/libeigen/eigen.git GIT_SHALLOW 1 GIT_TAG 0fd6b4f71dd85b2009ee4d1aeb296e2c11fc9d68 SOURCE_DIR ${STORM_3RDPARTY_INCLUDE_DIR}/StormEigen - PREFIX ${STORM_3RDPARTY_BINARY_DIR}/StormEigen-3.3.7 + PREFIX ${STORM_3RDPARTY_BINARY_DIR}/StormEigen-3.3.9 PATCH_COMMAND git apply ${STORM_3RDPARTY_SOURCE_DIR}/patches/eigen.patch UPDATE_COMMAND "" CONFIGURE_COMMAND ""