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/FindANTLR3.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/FindANTLR3.cmake')
-rw-r--r-- | cmake/FindANTLR3.cmake | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/cmake/FindANTLR3.cmake b/cmake/FindANTLR3.cmake index 5429be99a..3ed3c5376 100644 --- a/cmake/FindANTLR3.cmake +++ b/cmake/FindANTLR3.cmake @@ -34,7 +34,11 @@ if(ANTLR3_JAR AND ANTLR3_INCLUDE_DIR AND ANTLR3_RUNTIME) endif() if(NOT ANTLR3_FOUND_SYSTEM) - check_auto_download("ANTLR3" "") + check_ep_downloaded("ANTLR3-EP-jar") + if(NOT ANTLR3-EP-jar_DOWNLOADED) + check_auto_download("ANTLR3" "") + endif() + include(ExternalProject) set(ANTLR3_VERSION "3.4") |