From 87bc1447d59e36410feab768ea2bbb577e58fb7b Mon Sep 17 00:00:00 2001 From: Gereon Kremer Date: Fri, 16 Apr 2021 13:06:40 +0200 Subject: Refactor cmake: auto-download and default-on dependencies (#6355) This PR changes a few things in how dependencies are handled during configuration: - --x-dir are removed for most dependencies, use the generic --dep-path instead - the cmake ENABLE_AUTO_DOWNLOAD determines whether we attempt to download missing dependencies ourselves - external projects check this option and send an error if it is OFF - some optional dependencies are enabled by default (CaDiCaL, Poly, SymFPU) This will essentially fail every call to ./configure.sh until the user specifies --auto-download. --- cmake/FindGMP.cmake | 1 + 1 file changed, 1 insertion(+) (limited to 'cmake/FindGMP.cmake') diff --git a/cmake/FindGMP.cmake b/cmake/FindGMP.cmake index 6596e4245..f5447f95d 100644 --- a/cmake/FindGMP.cmake +++ b/cmake/FindGMP.cmake @@ -43,6 +43,7 @@ if(GMP_INCLUDE_DIR AND GMP_LIBRARIES) endif() if(NOT GMP_FOUND_SYSTEM) + check_auto_download("GMP" "") include(ExternalProject) set(GMP_VERSION "6.2.1") -- cgit v1.2.3