diff options
Diffstat (limited to 'src/interp/sys-globals.boot')
| -rw-r--r-- | src/interp/sys-globals.boot | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/src/interp/sys-globals.boot b/src/interp/sys-globals.boot index 3c8d32c0..5f71143d 100644 --- a/src/interp/sys-globals.boot +++ b/src/interp/sys-globals.boot @@ -483,8 +483,12 @@ $buildingSystemAlgebra := false ++ code generation, etc. $verbose := true -++ True if the compiler is invoked to produced only exports of +++ True if the compiler is invoked to produce only exports of ++ a domain or a category. For a category, the compilation of ++ defaults, if any, is suppressed. $compileExportsOnly := false +++ True if the compiler is invoked to produce implementation +++ of category defaults only. This is meaningful only when +++ compiling categories. +$compileDefaultsOnly := false |