diff options
| author | Gangzheng Tong <tonggangzheng@gmail.com> | 2025-09-17 12:27:57 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-09-17 19:27:57 +0000 |
| commit | 58060d2f7e86427124551f3f6edcf05bf6e4d229 (patch) | |
| tree | a419a548534c48f586ea018b35ec900c681f3842 /external | |
| parent | 8d67365b36ea43d339911eba5ee1693d75ae58e2 (diff) | |
Set default mimalloc for spirv-tools but allow user to override (#8460)
This PR resolves a configuration conflict where the
SLANG_ENABLE_SPIRV_TOOLS_MIMALLOC option was defined twice with
different defaults, causing user settings to be overridden.
Changes:
- Removed duplicate definition in external/CMakeLists.txt that only
applied to WIN32
- Define default in main CMakeLists.txt
- ON by default for Windows
- OFF by default for other platforms (still need to resolve crashes so
set it to `OFF` for now)
Preserved user configuration - explicit
-DSLANG_ENABLE_SPIRV_TOOLS_MIMALLOC=value settings are now properly
respected
Related to https://github.com/shader-slang/slang/issues/8158
---------
Co-authored-by: slangbot <ellieh+slangbot@nvidia.com>
Co-authored-by: slangbot <186143334+slangbot@users.noreply.github.com>
Diffstat (limited to 'external')
| -rw-r--r-- | external/CMakeLists.txt | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/external/CMakeLists.txt b/external/CMakeLists.txt index fed9e5e4e..e0dcdfb40 100644 --- a/external/CMakeLists.txt +++ b/external/CMakeLists.txt @@ -25,15 +25,6 @@ if(NOT SLANG_ENABLE_EXTERNAL_COMPILER_WARNINGS) endif() endif() -# Option to enable mimalloc for SPIRV-Tools to improve compilation performance -if(WIN32) - option( - SLANG_ENABLE_SPIRV_TOOLS_MIMALLOC - "Enable mimalloc for SPIRV-Tools to improve compilation performance" - ON - ) -endif() - # Unordered dense if(NOT ${SLANG_USE_SYSTEM_UNORDERED_DENSE}) if(NOT SLANG_OVERRIDE_UNORDERED_DENSE_PATH) |