diff --git a/collects/launcher/launcher-sig.ss b/collects/launcher/launcher-sig.ss new file mode 100644 index 0000000000..386d013d95 --- /dev/null +++ b/collects/launcher/launcher-sig.ss @@ -0,0 +1,19 @@ + +(module launcher-sig mzscheme + (import (lib "unitsig.ss")) + + (export launcher-maker^) + + (define-signature launcher-maker^ + (make-mred-launcher + make-mzscheme-launcher + + make-mred-program-launcher + make-mzscheme-program-launcher + + mred-program-launcher-path + mzscheme-program-launcher-path + + install-mred-program-launcher + install-mzscheme-program-launcher))) +