--- 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.*