pull/1717/head
Piero Toffanin 2023-11-05 15:45:12 -05:00
rodzic e5ed68846e
commit eccb203d7a
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 ""