e75a70bff2a9 — Chris Cannam 2 years ago
Build with mlton, at least until Poly/ML updated with 32-bit PackReal support
1 files changed, 4 insertions(+), 1 deletions(-)

M Makefile
M Makefile +4 -1
@@ 1,10 1,13 @@ 
 
 SCRIPTS		:= ext/sml-buildscripts
 
+#BUILDER		:= ${SCRIPTS}/polybuild
+BUILDER		:= mlton
+
 all:	${SCRIPTS} example
 
 example:	example.mlb Makefile
-	${SCRIPTS}/polybuild example.mlb
+	${BUILDER} example.mlb
 
 clean:
 	rm -f example