[MLton-commit] r5430

Matthew Fluet fluet at mlton.org
Thu Mar 15 06:25:40 PST 2007


Save def-use result here, rather than /tmp
----------------------------------------------------------------------

U   mlton/branches/on-20050822-x86_64-branch/mlton/Makefile

----------------------------------------------------------------------

Modified: mlton/branches/on-20050822-x86_64-branch/mlton/Makefile
===================================================================
--- mlton/branches/on-20050822-x86_64-branch/mlton/Makefile	2007-03-15 13:40:49 UTC (rev 5429)
+++ mlton/branches/on-20050822-x86_64-branch/mlton/Makefile	2007-03-15 14:25:39 UTC (rev 5430)
@@ -91,6 +91,10 @@
 mlton.sml: $(SOURCES)
 	rm -f mlton.sml && mlton -stop sml mlton.cm && chmod -w mlton.sml
 
+.PHONY: def-use
+def-use:
+	mlton -stop tc -prefer-abs-paths true -show-def-use mlton.def-use $(FILE)
+
 .PHONY: clean
 clean:
 	../bin/clean
@@ -104,10 +108,6 @@
 #
 SML	:= sml
 
-.PHONY: def-use
-def-use:
-	mlton -stop tc -show-def-use /tmp/z.def-use $(FILE)
-
 .PHONY: nj-mlton
 nj-mlton: $(SOURCES)
 	(									\




More information about the MLton-commit mailing list