diff --git a/collects/compiler/embed-sig.ss b/collects/compiler/embed-sig.ss new file mode 100644 index 0000000000..ce20d92c21 --- /dev/null +++ b/collects/compiler/embed-sig.ss @@ -0,0 +1,9 @@ + +(module embed-sig mzscheme + (require (lib "unitsig.ss")) + (provide compiler:embed^) + + (define-signature compiler:embed^ + (make-embedding-executable + embedding-executable-is-directory? + embedding-executable-put-file-extension+style+filters)))