ci: download EIGEN

This commit is contained in:
Henry Schreiner
2020-07-26 13:44:10 -04:00
committed by Henry Schreiner
parent 9521bc56a8
commit 1b880dfd5a
3 changed files with 41 additions and 13 deletions

View File

@@ -9,7 +9,7 @@ if(CATCH_FOUND)
message(STATUS "Building interpreter tests using Catch v${CATCH_VERSION}")
else()
message(STATUS "Catch not detected. Interpreter tests will be skipped. Install Catch headers"
" manually or use `cmake -DDOWNLOAD_CATCH=1` to fetch them automatically.")
" manually or use `cmake -DDOWNLOAD_CATCH=ON` to fetch them automatically.")
return()
endif()