[MLton-commit] r4534

[Matthew Fluet]

Type-check all platforms with c-types.sml.

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

U   mlton/branches/on-20050822-x86_64-branch/basis-library/Makefile
D   mlton/branches/on-20050822-x86_64-branch/basis-library/config/c/test/

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

Modified: mlton/branches/on-20050822-x86_64-branch/basis-library/Makefile
===================================================================
--- mlton/branches/on-20050822-x86_64-branch/basis-library/Makefile	2006-05-13 15:50:55 UTC (rev 4533)
+++ mlton/branches/on-20050822-x86_64-branch/basis-library/Makefile	2006-05-13 15:51:31 UTC (rev 4534)
@@ -23,8 +23,8 @@
 OBJPTR_MAPS = objptr-rep32.map objptr-rep64.map 
 HEADER_MAPS = header-word32.map header-word64.map
 SEQINDEX_MAPS = seqindex-int32.map seqindex-int64.map 
-TARGET_ARCH = x86 amd64 
-TARGET_OS = linux 
+TARGET_ARCH = amd64 hppa powerpc sparc x86
+TARGET_OS = cygwin darwin freebsd hpux linux mingw netbsd openbsd solaris 
 DEFAULT_CHAR = char8
 DEFAULT_INT = int32 int64 intinf
 DEFAULT_REAL = real32 real64
@@ -40,21 +40,24 @@
 	for objptrrep in $(OBJPTR_MAPS); do \
 	for header in $(HEADER_MAPS); do \
 	for seqindex in $(SEQINDEX_MAPS); do \
-	for targetarch in $(TARGET_ARCH); do \
-	for targetos in $(TARGET_OS); do \
 	for defchar in $(DEFAULT_CHAR); do \
 	for defint in $(DEFAULT_INT); do \
 	for defreal in $(DEFAULT_REAL); do \
 	for defword in $(DEFAULT_WORD); do \
+	for targetarch in $(TARGET_ARCH); do \
+	for targetos in $(TARGET_OS); do \
 	if [ ! -r config/c/$$targetarch-$$targetos/c-types.sml ]; then \
-		break; \
+		continue; \
 	fi; \
 	echo "Type checking: $$objptrrep $$header $$seqindex $$targetarch $$targetos $$defchar $$defint $$defreal $$defword"; \
+	rm -f target.map; \
+	( echo "TARGET_ARCH $$targetarch"; \
+	  echo "TARGET_OS $$targetos"; ) > target.map; \
 	"$(MLTON)" -disable-ann deadCode -stop tc -show-types true \
 		-mlb-path-map "maps/$$objptrrep" \
 		-mlb-path-map "maps/$$header" \
 		-mlb-path-map "maps/$$seqindex" \
-		-mlb-path-map "maps/c-types.$$targetarch-$$targetos.map" \
+		-mlb-path-map "target.map" \
 		-default-type "$$defchar" \
 		-default-type "$$defint" \
 		-default-type "$$defreal" \