[MLton-commit] r7126
Matthew Fluet
fluet at mlton.org
Wed Jun 10 20:23:35 PDT 2009
Generated front-end files are dependencies for SML/NJ and PolyML versions.
----------------------------------------------------------------------
U mlton/trunk/mlton/Makefile
----------------------------------------------------------------------
Modified: mlton/trunk/mlton/Makefile
===================================================================
--- mlton/trunk/mlton/Makefile 2009-06-11 03:23:31 UTC (rev 7125)
+++ mlton/trunk/mlton/Makefile 2009-06-11 03:23:34 UTC (rev 7126)
@@ -43,15 +43,18 @@
FLAGS += -verbose 2 -output "$(AOUT)"
FLAGS += $(COMPILE_ARGS)
-SOURCES := \
- $(FILE) \
- $(UP) \
+FRONT_END_SOURCES := \
front-end/ml.lex.sml \
front-end/ml.grm.sig \
front-end/ml.grm.sml \
front-end/mlb.lex.sml \
front-end/mlb.grm.sig \
- front-end/mlb.grm.sml \
+ front-end/mlb.grm.sml
+
+SOURCES := \
+ $(FILE) \
+ $(UP) \
+ $(FRONT_END_SOURCES) \
$(shell if [ -r $(FILE) ]; then mlton -stop f $(FILE); fi)
.PHONY: all
@@ -125,7 +128,7 @@
SMLNJ_CM_SERVERS_NUM := 0
.PHONY: smlnj-mlton
-smlnj-mlton:
+smlnj-mlton: $(FRONT_END_SOURCES)
rm -f control/version.sml
$(MAKE) control/version.sml
( \
@@ -151,7 +154,7 @@
POLYML := poly
.PHONY: polyml-mlton
-polyml-mlton: mlton-polyml.use
+polyml-mlton: mlton-polyml.use $(FRONT_END_SOURCES)
rm -f control/version.sml
$(MAKE) control/version.sml
( \
More information about the MLton-commit
mailing list