cmake: Do not require --auto-download for already downloaded dependencies. (#6417)
authorMathias Preiner <mathias.preiner@gmail.com>
Thu, 22 Apr 2021 20:22:36 +0000 (13:22 -0700)
committerGitHub <noreply@github.com>
Thu, 22 Apr 2021 20:22:36 +0000 (20:22 +0000)
commit2aab6ea4c8455f80a2bb08bc88fdb919a79a010f
treef13574eb6a57cb8be480904d404dc5f937ce40a9
parentc84d66ed370f417bd410c3c7ae5c1db82e637452
cmake: Do not require --auto-download for already downloaded dependencies. (#6417)

This will look for already downloaded dependencies in the build
directory and therefore will not require --auto-download if the
dependencies were already downloaded in a previous build.
CMakeLists.txt
cmake/FindANTLR3.cmake
cmake/FindCLN.cmake
cmake/FindCaDiCaL.cmake
cmake/FindCryptoMiniSat.cmake
cmake/FindGMP.cmake
cmake/FindGTest.cmake
cmake/FindKissat.cmake
cmake/FindPoly.cmake
cmake/FindSymFPU.cmake
cmake/deps-helper.cmake