Un-size optimize

[snipe.git] / Makefile

diff --git a/Makefile b/Makefile
index 2ae3db6938a19abcaf41c14cba4be0e72ba0d06b..5e216f0f6b4b46b9dc3d04ffb62b3d26c32d67ca 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -1,13 +1,13 @@
 # the following are SML-NJ specific defines
 SML = sml
 
-l5c: FORCE
-       echo 'use "compile-l5c.sml";' | ${SML}
+snipe: FORCE
+       echo 'use "compile-snipe.sml";' | ${SML}
 
-l5c-mlton: FORCE
+snipe-mlton: FORCE
        mllex parse/l5.lex
        mlyacc parse/l5.grm
-       mlton -profile time -profile-branch true -output bin/l5c-mlton sources.mlb
+       mlton -verbose 2 -output bin/snipe-mlton sources.mlb
        ${RM} parse/l5.lex.sml
 
 reallyclean: clean
@@ -17,8 +17,8 @@ reallyclean: clean
 clean:
        find . -type d -name .cm | xargs rm -rf
        find . -type f | grep '~$$' | xargs ${RM}
-       ${RM} bin/l5c.heap.*
-       ${RM} bin/l5c-mlton
+       ${RM} bin/snipe.heap.*
+       ${RM} bin/snipe-mlton
 
 
 TAGS: clean