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