15.2.4  src/app/debug/plugins.lib

# plugins.lib
#
#   Library of plug-in modules for tracing, debugging, and profiling.
#
#

# Compiled by:
#     src/app/debug/back-trace.lib
#     src/app/debug/test-coverage.lib
#     src/lib/core/internal/interactive-system.lib

LIBRARY_EXPORTS

        pkg back_trace
        pkg test_coverage



LIBRARY_COMPONENTS

        back-trace.pkg
        test-coverage.pkg

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

        $ROOT/src/lib/core/compiler.lib


# Copyright (c) 2004 by The Fellowship of SML/NJ
# Author: Matthias Blume (blume@tti-c.org)
# Subsequent changes by Jeff Prothero Copyright (c) 2010-2015,
# released per terms of SMLNJ-COPYRIGHT.