summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorGangzheng Tong <tonggangzheng@gmail.com>2025-03-26 13:31:39 -0700
committerGitHub <noreply@github.com>2025-03-26 13:31:39 -0700
commitc1b743777ff05a9480467cc287b0e6478fc02d0a (patch)
treecee8d79c5d09fcbf01df5d3b0a6279a92cdf4bad
parent1bde5bab3894e139c96c0dc2f9f2c63cabb30270 (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.txt14
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()