diff --git a/collects/setup/sig.ss b/collects/setup/sig.ss new file mode 100644 index 0000000000..8249020cee --- /dev/null +++ b/collects/setup/sig.ss @@ -0,0 +1,18 @@ + +(module sig mzscheme + (import (lib "unitsig.ss")) + + (export setup-option^) + + (define-signature setup-option^ + (verbose + make-verbose + compiler-verbose + clean + make-zo + make-so + make-launchers + call-install + pause-on-errors + specific-collections + archives)))