# interactive-system.lib
# Compiled by:
# src/etc/mythryl-compiler-root.lib# src/lib/x-kit/widget/xkit-widget.sublib# This file defines the toplevel environment
# visible at the mythryld commandline.
# (primitive) <- this was a priv spec
LIBRARY_EXPORTS
# Bootstrap stuff:
pkg make_mythryld_executable
# Export representatives for pro-forma libraries...
#
pkg compiler # $ROOT/src/lib/core/compiler/compiler.lib pkg makelib # $ROOT/src/lib/core/makelib/makelib.lib pkg mythryl_compiler_compiler_for_this_platform # $ROOT/src/lib/core/mythryl-compiler-compiler/mythryl-compiler-compiler-for-this-platform.lib #
pkg tools
pkg yacc_tool
pkg lex_tool
pkg burg_tool
pkg noweb_tool
pkg make_tool
pkg shell_tool
pkg dir_tool
# pkg type_package_language
#if not defined(LIGHT)
# Export one representative from $ROOT/src/lib/core/compiler/mythryl-compiler-compilers-for-all-supported-platforms.lib pkg mythryl_compiler_compiler_for_sparc32_posix
#endif
LIBRARY_COMPONENTS
$ROOT/src/lib/core/init/init.cmi : cm
$ROOT/src/lib/std/standard.lib $ROOT/src/lib/core/viscomp/basics.lib $ROOT/src/lib/core/viscomp/core.lib # Need access to makelib's "init" function
$ROOT/src/lib/core/internal/makelib-internal.lib # Need access to the actual backend:
$ROOT/src/lib/core/compiler.lib # These are just here so they get made:
$ROOT/src/lib/core/compiler/compiler.lib# $ROOT/src/lib/core/compiler/minimal-only.lib $ROOT/src/lib/core/makelib/makelib.lib $ROOT/src/lib/core/mythryl-compiler-compiler/mythryl-compiler-compiler-for-this-platform.lib $ROOT/src/app/debug/plugins.lib $ROOT/src/app/debug/back-trace.lib $ROOT/src/app/debug/test-coverage.lib $ROOT/src/app/yacc/src/mythryl-yacc.lib # 2006-12-30 CrT addition. $ROOT/src/app/lex/mythryl-lex.lib # 2006-12-30 CrT addition. $ROOT/src/app/future-lex/src/lexgen.lib # 2006-12-30 CrT addition. $ROOT/src/lib/core/makelib/makelib-tools-stuff.lib # We need the mythryl-yacc and mythryl-lex tool plugins here. They must
# always be "plugged in" because they are needed for -rebuild,
# i.e., at a time when on-demand loading does not work yet.
#
$ROOT/src/app/makelib/tools/mlyacc/grm-ext.lib # Implies $ROOT/src/app/makelib/tools/mlyacc/mlyacc-tool.lib $ROOT/src/app/makelib/tools/mllex/lex-ext.lib # Implies $ROOT/src/app/makelib/tools/mllex/mllex-tool.lib # Technically, the mythryl-burg tool is not needed here. It should
# eventually be moved into the Mythryl-Burg source tree and installed
# from there. XXX BUGGO FIXME
#
$ROOT/src/app/makelib/tools/mlburg/burg-ext.lib # Implies $ROOT/src/app/makelib/tools/mlburg/mlburg-tool.lib # Technically, the noweb tool is not needed here. It should
# eventually be moved into the noweb source tree and installed
# from there. XXX BUGGO FIXME
#
$ROOT/src/app/makelib/tools/noweb/nw-ext.lib # Implies $ROOT/src/app/makelib/tools/noweb/noweb-tool.lib # Register the make tool here. (Kinda unrealistic to hope that
# Unix' make suddenly comes with a makelib plugin...)
$ROOT/src/app/makelib/tools/make/make-tool.lib # Same for shell tool...
$ROOT/src/app/makelib/tools/shell/shell-tool.lib # Register the "dir" tool. Its classifier (but not the tool
# itself) is always "plugged-in".
$ROOT/src/app/makelib/tools/dir/dir-tool.lib # We add the HTML lib. It gets compiled anyway (even though
# the compiler does not need it) because of a static dependence
# from a module in prettyprinter.lib. Since the code gets compiled,
# we should arrange for it to show up in a sensible location.
# That's why we mention it here:
#
$ROOT/src/lib/html/html.lib #if not defined(LIGHT)
$ROOT/src/lib/core/compiler/mythryl-compiler-compilers-for-all-supported-platforms.lib #endif
$ROOT/src/lib/core/internal/make-mythryl-compiler-etc.api $ROOT/src/lib/core/internal/make-mythryl-compiler-etc.pkg # Actually dump the bin/mythryld 'executable' file (heap impage) to disk:
#
$ROOT/src/lib/core/internal/make-mythryld-executable.pkg # Actual start-of-execution point for the mythryld executable:
#
$ROOT/src/lib/core/internal/mythryld-app.api $ROOT/src/lib/core/internal/mythryld-app.pkg # Need access to the controls module
# for registering lowhalf controls:
#
$ROOT/src/lib/global-controls/global-controls.lib# Copyright YALE FLINT PROJECT 1997
# Copyright Bell Labs, Lucent Technologies 1999
# Revised for use with the new makelib. (Matthias Blume, 7/1999)
# Subsequent changes by Jeff Prothero Copyright (c) 2010-2015,
# released per terms of SMLNJ-COPYRIGHT.