## make-tool.lib
## (C) 2000 Lucent Technologies, Bell Laboratories
## Author: Matthias Blume (blume@kurims.kyoto-u.ac.jp)
# Compiled by:
# src/lib/core/internal/interactive-system.lib# The plugin library for the "make" tool.
LIBRARY_EXPORTS
pkg make_tool
LIBRARY_COMPONENTS
$ROOT/src/lib/std/standard.lib $ROOT/src/lib/core/internal/makelib-lib.lib $ROOT/src/lib/core/makelib/makelib.lib $ROOT/src/lib/core/makelib/makelib-tools-stuff.lib tool.pkg