[MLton-commit] r4806

Matthew Fluet fluet at mlton.org
Mon Nov 6 13:53:03 PST 2006


Added PHONY 'patch' target for smlnj-lib and ckit-lib
----------------------------------------------------------------------

U   mlton/trunk/lib/ckit-lib/Makefile
U   mlton/trunk/lib/mlrisc-lib/Makefile
U   mlton/trunk/lib/smlnj-lib/Makefile

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

Modified: mlton/trunk/lib/ckit-lib/Makefile
===================================================================
--- mlton/trunk/lib/ckit-lib/Makefile	2006-11-05 20:58:01 UTC (rev 4805)
+++ mlton/trunk/lib/ckit-lib/Makefile	2006-11-06 21:52:55 UTC (rev 4806)
@@ -19,3 +19,11 @@
 .PHONY: clean
 clean:
 	../../bin/clean
+
+.PHONY: patch
+patch:
+	mv ckit ckit-mlton
+	gzip -dc ckit.tgz | tar xf -
+	diff -Naur ckit ckit-mlton >ckit.patch || exit 0
+	rm -rf ckit
+	mv ckit-mlton ckit

Modified: mlton/trunk/lib/mlrisc-lib/Makefile
===================================================================
--- mlton/trunk/lib/mlrisc-lib/Makefile	2006-11-05 20:58:01 UTC (rev 4805)
+++ mlton/trunk/lib/mlrisc-lib/Makefile	2006-11-06 21:52:55 UTC (rev 4806)
@@ -13,7 +13,7 @@
 	gzip -dc MLRISC.tgz | tar xf -
 	chmod -R a+r MLRISC
 	chmod -R g-s MLRISC
-	patch -p0 <MLRISC.patch
+	patch -p0 < MLRISC.patch
 
 .PHONY: clean
 clean:
@@ -26,4 +26,3 @@
 	diff -Naur MLRISC MLRISC-mlton >MLRISC.patch || exit 0
 	rm -rf MLRISC
 	mv MLRISC-mlton MLRISC
-

Modified: mlton/trunk/lib/smlnj-lib/Makefile
===================================================================
--- mlton/trunk/lib/smlnj-lib/Makefile	2006-11-05 20:58:01 UTC (rev 4805)
+++ mlton/trunk/lib/smlnj-lib/Makefile	2006-11-06 21:52:55 UTC (rev 4806)
@@ -20,3 +20,11 @@
 .PHONY: clean
 clean:
 	../../bin/clean
+
+.PHONY: patch
+patch:
+	mv smlnj-lib smlnj-lib-mlton
+	gzip -dc smlnj-lib.tgz | tar xf -
+	diff -Naur smlnj-lib smlnj-lib-mlton >smlnj-lib.patch || exit 0
+	rm -rf smlnj-lib
+	mv smlnj-lib-mlton smlnj-lib




More information about the MLton-commit mailing list