diff options
| author | Yong He <yonghe@outlook.com> | 2025-03-24 17:01:55 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-03-24 17:01:55 -0700 |
| commit | c54bc9ebff0691c397885363e0da7a122e3e407d (patch) | |
| tree | f29681f8aa35b5b01e169a35a77cdd81317a8330 /tools | |
| parent | 0d7d6468dfcabb759ec40921e5da3a8598f1c770 (diff) | |
Don't load cached builtin module in slang-bootstrap. (#6667)
* Don't load cached builtin module in slang-bootstrap.
* Fixes.
* format code
---------
Co-authored-by: slangbot <186143334+slangbot@users.noreply.github.com>
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/CMakeLists.txt | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tools/CMakeLists.txt b/tools/CMakeLists.txt index 7c2e80e61..d558f299e 100644 --- a/tools/CMakeLists.txt +++ b/tools/CMakeLists.txt @@ -62,6 +62,8 @@ generator( TARGET_NAME slang-bootstrap USE_FEWER_WARNINGS + EXTRA_COMPILE_DEFINITIONS_PRIVATE + SLANG_BOOTSTRAP=1 LINK_WITH_PUBLIC slang-without-embedded-core-module LINK_WITH_PRIVATE |