diff options
| -rw-r--r-- | CMakeLists.txt | 14 |
1 files changed, 12 insertions, 2 deletions
diff --git a/CMakeLists.txt b/CMakeLists.txt index 224bd3c29..5471852a3 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt @@ -369,15 +369,25 @@ add_subdirectory(external) # webgpu_dawn is only available as a fetched shared library, since Dawn's nested source # trees are too large and onerous for us to depend on. +# We ignore the failure to fetch the library, since it's not required for the build to succeed. if(SLANG_WEBGPU_DAWN_BINARY_URL) - copy_fetched_shared_library("webgpu_dawn" "${SLANG_WEBGPU_DAWN_BINARY_URL}") + copy_fetched_shared_library( + "webgpu_dawn" + "${SLANG_WEBGPU_DAWN_BINARY_URL}" + IGNORE_FAILURE + ) endif() # slang-tint is only available as a fetched shared library, since it's hosted in the Dawn # repository, and Dawn's nested source trees are too large and onerous for us to depend # on. +# We ignore the failure to fetch the library, since it's not required for the build to succeed. if(SLANG_SLANG_TINT_BINARY_URL) - copy_fetched_shared_library("slang-tint" "${SLANG_SLANG_TINT_BINARY_URL}") + copy_fetched_shared_library( + "slang-tint" + "${SLANG_SLANG_TINT_BINARY_URL}" + IGNORE_FAILURE + ) endif() fetch_or_build_slang_llvm() |