[MLton-commit] r4159

[Stephen Weeks]

Took out the SML/NJ-version check.

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

U   mlton/trunk/mlton/Makefile

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

Modified: mlton/trunk/mlton/Makefile
===================================================================
--- mlton/trunk/mlton/Makefile	2005-11-04 22:09:10 UTC (rev 4158)
+++ mlton/trunk/mlton/Makefile	2005-11-05 00:01:55 UTC (rev 4159)
@@ -101,22 +101,14 @@
 # Manager (CM) installed.  You may need to replace the following with
 # 'sml-cm'.
 #
-SMLNJ_VERSION = 110.4[59]
 SML	= sml
 
-.PHONY: check-nj-version
-check-nj-version:
-	if ! echo | $(SML) | grep -q $(SMLNJ_VERSION); then	\
-		echo You must use SML/NJ $(SMLNJ_VERSION);	\
-	fi
-
 .PHONY: def-use
 def-use:
 	mlton -stop tc -show-def-use /tmp/z.def-use $(FILE)
 
 .PHONY: nj-mlton
 nj-mlton: $(SOURCES)
-	$(MAKE) check-nj-version
 	(									\
 		echo 'SMLofNJ.Internals.GC.messages false;';			\
 		echo '#set CM.Control.verbose false;';				\
@@ -128,7 +120,6 @@
 
 .PHONY: nj-mlton-dual
 nj-mlton-dual: $(SOURCES)
-	$(MAKE) check-nj-version
 	(									\
 		echo 'SMLofNJ.Internals.GC.messages false;';			\
 		echo '#set CM.Control.verbose false;';				\
@@ -142,7 +133,6 @@
 
 .PHONY: nj-mlton-quad
 nj-mlton-quad: $(SOURCES)
-	$(MAKE) check-nj-version
 	(									\
 		echo 'SMLofNJ.Internals.GC.messages false;';			\
 		echo '#set CM.Control.verbose false;';				\
@@ -158,7 +148,6 @@
 
 .PHONY: nj-whole
 nj-whole: $(SOURCES)
-	$(MAKE) check-nj-version
 	(									\
 		echo 'SMLofNJ.Internals.GC.messages false;';			\
 		echo '#set CM.Control.verbose false;';				\