15.2.95  src/lib/global-controls/global-controls.lib

# global-controls.lib
#
# An implementation of "controls" -- representing dictionary-configurable
# global state (flags, options, ...) of a program.

# Compiled by:
#     src/app/makelib/makelib.sublib
#     src/app/makelib/stuff/makelib-stuff.sublib
#     src/lib/compiler/back/low/lib/control.lib
#     src/lib/compiler/core.sublib
#     src/lib/compiler/debugging-and-profiling/debugprof.sublib
#     src/lib/compiler/front/basics/basics.sublib
#     src/lib/compiler/front/parser/parser.sublib
#     src/lib/compiler/front/typer-stuff/typecheckdata.sublib
#     src/lib/compiler/front/typer/typer.sublib
#     src/lib/core/internal/interactive-system.lib

LIBRARY_EXPORTS

        api Global_Control
        pkg global_control
        api Global_Control_Set
        pkg global_control_set
        api Global_Control_Index
        pkg global_control_index
        api Global_Control_Junk
        pkg global_control_junk

LIBRARY_COMPONENTS

        $ROOT/src/lib/std/standard.lib

        global-control-forms.pkg
        global-control.api
        global-control.pkg
        global-control-set.api
        global-control-set.pkg
        global-control-junk.api
        global-control-junk.pkg
        global-control-index.api
        global-control-index.pkg


# COPYRIGHT (c) 2002 Lucent Technologies, Bell Laboratories
# author: Matthias Blume
# Subsequent changes by Jeff Prothero Copyright (c) 2010-2015,
# released per terms of SMLNJ-COPYRIGHT.