## makelib-tools-stuff.lib -- Tools support for makelib.
## (C) 2000 Lucent Technologies, Bell Laboratories
## Author: Matthias Blume (blume@kurims.kyoto-u.ac.jp)
# Compiled by:
# src/app/makelib/tools/dir/dir-tool.lib# src/app/makelib/tools/make/make-tool.lib# src/app/makelib/tools/mlburg/mlburg-tool.lib# src/app/makelib/tools/mllex/mllex-tool.lib# src/app/makelib/tools/mlyacc/mlyacc-tool.lib# src/app/makelib/tools/noweb/noweb-tool.lib# src/app/makelib/tools/shell/shell-tool.lib# src/lib/core/internal/interactive-system.lib# (cm-init) <- this was a priv spec
LIBRARY_EXPORTS
pkg sharing_mode
pkg makelib_version_intlist api Makelib_Version_Intlist
pkg tools api Tools
pkg string_substitution
LIBRARY_COMPONENTS
$ROOT/src/lib/std/standard.lib $ROOT/src/lib/core/internal/srcpath.lib $ROOT/src/lib/core/internal/makelib-lib.lib $ROOT/src/lib/core/internal/makelib-internal.lib tools.pkg