diff options
author | Mathias Preiner <mathias.preiner@gmail.com> | 2021-04-22 13:22:36 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-04-22 20:22:36 +0000 |
commit | 2aab6ea4c8455f80a2bb08bc88fdb919a79a010f (patch) | |
tree | f13574eb6a57cb8be480904d404dc5f937ce40a9 /cmake/FindPoly.cmake | |
parent | c84d66ed370f417bd410c3c7ae5c1db82e637452 (diff) |
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.
Diffstat (limited to 'cmake/FindPoly.cmake')
-rw-r--r-- | cmake/FindPoly.cmake | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/cmake/FindPoly.cmake b/cmake/FindPoly.cmake index 2030ca806..0a5780585 100644 --- a/cmake/FindPoly.cmake +++ b/cmake/FindPoly.cmake @@ -38,7 +38,11 @@ if(Poly_INCLUDE_DIR endif() if(NOT Poly_FOUND_SYSTEM) - check_auto_download("Poly" "--no-poly") + check_ep_downloaded("Poly-EP") + if(NOT Poly-EP_DOWNLOADED) + check_auto_download("Poly" "--no-poly") + endif() + include(ExternalProject) set(Poly_VERSION "0.1.9") |