[patch] makefile-front-end-20070826.patch

makefile-front-end-20070826.patch (text/plain), 621 bytes, created by Daniel Herzog on 2007-11-10 23:04:48 UTC

--- mlton/front-end/Makefile	2007-11-10 19:32:36.000000000 +0100
+++ mlton/front-end/Makefile	2007-11-10 19:33:34.000000000 +0100
@@ -20,20 +20,20 @@
 
 ml.lex.sml: ml.lex
 	rm -f ml.lex.sml
-	mllex ml.lex
+	../../../usr/bin/mllex ml.lex
 	chmod -w ml.lex.sml
 
 ml.grm.sig ml.grm.sml: ml.grm
 	rm -f ml.grm.*
-	mlyacc ml.grm
+	../../../usr/bin/mlyacc ml.grm
 	chmod -w ml.grm.*
 
 mlb.lex.sml: mlb.lex
 	rm -f mlb.lex.sml
-	mllex mlb.lex
+	../../../usr/bin/mllex mlb.lex
 	chmod -w mlb.lex.sml
 
 mlb.grm.sig mlb.grm.sml: mlb.grm
 	rm -f mlb.grm.*
-	mlyacc mlb.grm
+	../../../usr/bin/mlyacc mlb.grm
 	chmod -w mlb.grm.*