]> Joshua Wise's Git repositories - snipe.git/commitdiff
Rename output binary from l5c to snipe master
authorJoshua Wise <joshua@h2so4.joshuawise.com>
Thu, 14 May 2009 02:47:28 +0000 (22:47 -0400)
committerJoshua Wise <joshua@h2so4.joshuawise.com>
Thu, 14 May 2009 02:47:28 +0000 (22:47 -0400)
Makefile
bin/snipe [moved from bin/l5c with 100% similarity]
compile-snipe.sml [moved from compile-l5c.sml with 71% similarity]

index 2ae3db6938a19abcaf41c14cba4be0e72ba0d06b..5e216f0f6b4b46b9dc3d04ffb62b3d26c32d67ca 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -1,13 +1,13 @@
 # the following are SML-NJ specific defines
 SML = sml
 
 # 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
        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
        ${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}
 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
 
 
 TAGS: clean
similarity index 100%
rename from bin/l5c
rename to bin/snipe
similarity index 71%
rename from compile-l5c.sml
rename to compile-snipe.sml
index f5af6ede4772097d874cb63f7350243caf6846f4..04e0247c770d7d83233a816acd1cc2e1e1c65d44 100644 (file)
@@ -4,4 +4,4 @@
  *)
 
 CM.make "sources.cm";
  *)
 
 CM.make "sources.cm";
-SMLofNJ.exportFn ("bin/l5c.heap", Top.main);
+SMLofNJ.exportFn ("bin/snipe.heap", Top.main);
This page took 0.029438 seconds and 4 git commands to generate.