Browse Source
update eigen version mentioned in comments and directory names
main
Tim Quatmann
4 years ago
No known key found for this signature in database
GPG Key ID: 6EDE19592731EEC3
1 changed files with
3 additions and
3 deletions
-
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 "" |
|
|
|
|
