[MLton-commit] r5187

Vesa Karvonen vesak at mlton.org
Tue Feb 13 08:43:41 PST 2007


Added check as a make target.
----------------------------------------------------------------------

_U  mltonlib/trunk/com/ssh/windows/unstable/
U   mltonlib/trunk/com/ssh/windows/unstable/Makefile

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


Property changes on: mltonlib/trunk/com/ssh/windows/unstable
___________________________________________________________________
Name: svn:ignore
   - .*
*.lib
generated

   + *.lib
.*
generated
mlb-path-map


Modified: mltonlib/trunk/com/ssh/windows/unstable/Makefile
===================================================================
--- mltonlib/trunk/com/ssh/windows/unstable/Makefile	2007-02-13 16:40:11 UTC (rev 5186)
+++ mltonlib/trunk/com/ssh/windows/unstable/Makefile	2007-02-13 16:43:41 UTC (rev 5187)
@@ -19,19 +19,27 @@
 
 lib-file := libwin-$(target-id).lib
 
-.PHONY : all clean help
+.PHONY : all clean help check
 
 help :
 	@echo "Targets:"
 	@echo "    all      Builds the static link library and NLFFI files"
 	@echo "    clean    Removes generated files"
 	@echo "    help     Prints this message"
+	@echo "    check    Type check the SML code"
 
+mlb-path-map : Makefile
+	echo 'MLTON_LIB $(shell cd ../../../.. && pwd)' > $@
+	echo 'SML_COMPILER mlton' >> $@
+
 all : $(lib-file) $(gen-dir)/nlffi/lib.mlb
 
 clean :
-	rm -rf $(bin-dir) $(gen-dir)/nlffi $(lib-file)
+	rm -rf $(bin-dir) $(gen-dir)/nlffi $(lib-file) mlb-path-map
 
+check : $(gen-dir)/nlffi/lib.mlb mlb-path-map
+	mlton -stop tc -mlb-path-map mlb-path-map lib.mlb
+
 $(lib-file) : $(lib-o-files)
 	ar cr $@ $^
 




More information about the MLton-commit mailing list