diff options
| author | Gangzheng Tong <tonggangzheng@gmail.com> | 2025-03-26 13:31:39 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-03-26 13:31:39 -0700 |
| commit | c1b743777ff05a9480467cc287b0e6478fc02d0a (patch) | |
| tree | cee8d79c5d09fcbf01df5d3b0a6279a92cdf4bad | |
| parent | 1bde5bab3894e139c96c0dc2f9f2c63cabb30270 (diff) | |
Ignore failure to fetch webgpu_dawn and slang-tint (#6689)
* Ignore failure to fetch webgpu_dawn and slang-tint
Fixes #6683
* format code
---------
Co-authored-by: slangbot <186143334+slangbot@users.noreply.github.com>
| -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() |
