diff --git a/CMakeLists.txt b/CMakeLists.txt index 86013403a..e70fd7cae 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt @@ -316,6 +316,7 @@ message(STATUS "") message(STATUS "Configured Eigen ${EIGEN_VERSION_NUMBER}") message(STATUS "") +option(EIGEN_FAILTEST "Enable failtests." OFF) if(EIGEN_FAILTEST) add_subdirectory(failtest) endif()