[MLton-commit] r4023

[Stephen Weeks]

Fixed minor packaging issues.

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

_U  mlton/trunk/doc/license/
U   mlton/trunk/doc/license/README
U   mlton/trunk/lib/ckit-lib/Makefile
U   mlton/trunk/lib/smlnj-lib/Makefile

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


Property changes on: mlton/trunk/doc/license
___________________________________________________________________
Name: svn:ignore
   + SMLNJ-LIB-LICENSE


Modified: mlton/trunk/doc/license/README
===================================================================
--- mlton/trunk/doc/license/README	2005-08-22 14:14:05 UTC (rev 4022)
+++ mlton/trunk/doc/license/README	2005-08-22 21:38:14 UTC (rev 4023)
@@ -10,10 +10,11 @@
                                                 mllex
                                                 mlyacc and MLYacc Library
                                                 Concurrent ML Library
-                                                SML/NJ Library
                                                 CKit Library
                                                 mlnlffigen and MLNLFFI Library
 
+SML/NJ Lib	SMLNJ-LIB-LICENSE (BSD-style) 	SML/NJ Library
+
 ML Kit          MLKit-LICENSE (MIT)             Path, Time, Date
 
 gdtoa           gdtoa-LICENSE (BSD-style)       Real binary <-> decimal conversions

Modified: mlton/trunk/lib/ckit-lib/Makefile
===================================================================
--- mlton/trunk/lib/ckit-lib/Makefile	2005-08-22 14:14:05 UTC (rev 4022)
+++ mlton/trunk/lib/ckit-lib/Makefile	2005-08-22 21:38:14 UTC (rev 4023)
@@ -11,6 +11,7 @@
 ckit/README.mlton: ckit.tgz ckit.patch
 	gzip -dc ckit.tgz | tar xf -
 	patch -p0 < ckit.patch
+	chmod a-x ckit/src/ast/simplify-assign-ops.sml
 
 .PHONY: clean
 clean:

Modified: mlton/trunk/lib/smlnj-lib/Makefile
===================================================================
--- mlton/trunk/lib/smlnj-lib/Makefile	2005-08-22 14:14:05 UTC (rev 4022)
+++ mlton/trunk/lib/smlnj-lib/Makefile	2005-08-22 21:38:14 UTC (rev 4023)
@@ -10,7 +10,9 @@
 
 smlnj-lib/README.mlton: smlnj-lib.tgz smlnj-lib.patch
 	gzip -dc smlnj-lib.tgz | tar xf -
-	patch -p0 < smlnj-lib.patch	
+	patch -p0 < smlnj-lib.patch
+	rm smlnj-lib/HTML/.cvsignore
+	mv smlnj-lib/LICENSE ../../doc/license/SMLNJ-LIB-LICENSE
 
 .PHONY: clean
 clean: