diff --git a/collects/mztake/make-plt.ss b/collects/mztake/make-plt.ss index cfe95b5ae6..98cf60c704 100644 --- a/collects/mztake/make-plt.ss +++ b/collects/mztake/make-plt.ss @@ -24,4 +24,5 @@ '(("frtime") ("stepper")))) ; for use not on PLaneT - (pack-collections "mztake-distro.plt" "MzTake Debugger" '(("mztake")) #t '(("frtime") ("stepper")) my-filter)) \ No newline at end of file + (pack-collections "frtime-distro.plt" "FrTime Language" '(("frtime")) #f '() std-filter) + (pack-collections "mztake-distro.plt" "MzTake Debugger" '(("mztake")) #t '(("frtime") ("stepper")) my-filter)) diff --git a/collects/mztake/makefile b/collects/mztake/makefile index 1cbd6239ab..d61fae4fbd 100644 --- a/collects/mztake/makefile +++ b/collects/mztake/makefile @@ -2,3 +2,10 @@ all: setup-plt -p -l mztake setup-plt -l frtime setup-plt -l stepper + +plt: + mred -u make-plt.ss + +clean: + rm -r compiled private/compiled + rm *distro*