Fix ‘goal’ when it appears as a target (meaning ‘goal()’).

[goals.git] / src / Makefile.in

diff --git a/src/Makefile.in b/src/Makefile.in
index d3e21fc..4d6640e 100644 (file)
--- a/src/Makefile.in
+++ b/src/Makefile.in
@@ -17,12 +17,14 @@
 # 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA.
 
 OBJECTS = \
+       config.cmx \
        utils.cmx \
+       cmdline.cmx \
        ast.cmx \
+       eval.cmx \
        parser.cmx \
        lexer.cmx \
        parse.cmx \
-       eval.cmx \
        main.cmx
 
 all: goals
@@ -49,6 +51,8 @@ goals: $(OBJECTS)
 parser.ml parser.mli: stamp-parser
 stamp-parser: parser.mly
        @MENHIR@ --explain $<
+# Hack required to get includes working.
+       echo 'val lexer_read : (Lexing.lexbuf -> token) option ref' >> parser.mli
        touch $@
 
 lexer.ml: lexer.mll lexer.cmi parser.ml
@@ -65,7 +69,10 @@ depend: .depend
 -include .depend
 
 Makefile: Makefile.in ../config.status
-       ../config.status Makefile
+       ../config.status $@
+
+config.ml: config.ml.in ../config.status
+       ../config.status $@
 
 .PHONY: all clean depend