Merge pull request #1717 from pierotofy/fcp

Pin Eigen 3.4
pull/1724/head
Piero Toffanin 2023-11-05 15:52:28 -05:00 zatwierdzone przez GitHub
commit 5d9564fda3
Nie znaleziono w bazie danych klucza dla tego podpisu
ID klucza GPG: 4AEE18F83AFDEB23
1 zmienionych plików z 1 dodań i 1 usunięć

Wyświetl plik

@ -14,7 +14,7 @@ externalproject_add(vcg
externalproject_add(eigen34
GIT_REPOSITORY https://gitlab.com/libeigen/eigen.git
GIT_TAG 3.4
GIT_TAG 7176ae16238ded7fb5ed30a7f5215825b3abd134
UPDATE_COMMAND ""
SOURCE_DIR ${SB_SOURCE_DIR}/eigen34
CONFIGURE_COMMAND ""