diff options
| author | Jay Kwak <82421531+jkwak-work@users.noreply.github.com> | 2024-10-25 15:59:17 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-10-25 15:59:17 -0700 |
| commit | d8969d87dcc9eea3f186a0c93c5e48d3d1659e05 (patch) | |
| tree | a7c17a8d8ce08bdd1551ba4815de809a4d1783f6 /docs | |
| parent | 4bad669bbc5ec3ff77321f083c59cde87eb10229 (diff) | |
Replace stdlib with core-module on files and projects (#5411)
This commit renames the files and projects to prefer "core-module" over
"stdlib".
The directory name `source/slang-stdlib` needs to be renamed too, and
there will be another commit for it soon.
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/building.md | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/docs/building.md b/docs/building.md index ccc164ab1..a6bbd080d 100644 --- a/docs/building.md +++ b/docs/building.md @@ -125,8 +125,8 @@ See the [documentation on testing](../tools/slang-test/README.md) for more infor | Option | Default | Description | |-----------------------------------|----------------------------|----------------------------------------------------------------------------------------------| | `SLANG_VERSION` | Latest `v*` tag | The project version, detected using git if available | -| `SLANG_EMBED_STDLIB` | `FALSE` | Build slang with an embedded version of the stdlib | -| `SLANG_EMBED_STDLIB_SOURCE` | `TRUE` | Embed stdlib source in the binary | +| `SLANG_EMBED_CORE_MODULE` | `FALSE` | Build slang with an embedded version of the core module | +| `SLANG_EMBED_CORE_MODULE_SOURCE` | `TRUE` | Embed the core module source in the binary | | `SLANG_ENABLE_ASAN` | `FALSE` | Enable ASAN (address sanitizer) | | `SLANG_ENABLE_FULL_IR_VALIDATION` | `FALSE` | Enable full IR validation (SLOW!) | | `SLANG_ENABLE_IR_BREAK_ALLOC` | `FALSE` | Enable IR BreakAlloc functionality for debugging. | |