X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=Makefile.in;h=8529ad2560497d53f4a54241737203599c8de0a9;hb=bc05c5c0eef21e7f80a9b6a7fa7e551b200ad905;hp=7bb2d1c96d0eef572283ad7a2e9074335581aa9a;hpb=23a55b7225551df68a3e37c46b35b4b89f9457e9;p=goals.git

diff --git a/Makefile.in b/Makefile.in
index 7bb2d1c..8529ad2 100644
--- a/Makefile.in
+++ b/Makefile.in
@@ -19,7 +19,7 @@
 # Pass through normal targets to Goalfile.in
 
 # XXX Why can't this parse "all" instead of "all ()"?
-all clean install: src/goals
+all clean depend install maintainer-clean: src/goals
 	./run src/goals "$@ ()"
 
 # If src/goals doesn't exist then brute-force build it.  Once we have
@@ -27,6 +27,7 @@ all clean install: src/goals
 # goals itself (see Goalfile.in).
 
 MENHIR = @MENHIR@
+OCAMLDEP = @OCAMLDEP@
 OCAMLFIND = @OCAMLFIND@
 OCAMLLEX = @OCAMLLEX@
 OCAMLFLAGS = @OCAMLFLAGS@
@@ -34,18 +35,12 @@ OCAMLPACKAGES = @OCAMLPACKAGES@
 
 src/goals:
 	$(MENHIR) --explain src/parser.mly
-# Hack required to get includes working.
-	echo 'val lexer_read : (Lexing.lexbuf -> token) option ref' \
-	    >> src/parser.mli
+# Hack required to break circular dependencies.
+	echo 'val lexer_read : (Lexing.lexbuf -> token) option ref' >> src/parser.mli
+	echo 'val eval_substitute : (Ast.env -> Ast.loc -> Ast.substs -> string) option ref' >> src/parser.mli
 	$(OCAMLLEX) src/lexer.mll
 	$(OCAMLFIND) opt $(OCAMLFLAGS) $(OCAMLPACKAGES) -I src \
-	    src/config.mli src/utils.mli src/cmdline.mli src/ast.mli \
-	    src/eval.mli src/run.mli src/parser.mli src/lexer.mli \
-	    src/parse.mli \
-	    src/config.ml src/utils.ml src/cmdline.ml src/ast.ml \
-	    src/eval.ml src/run.ml src/parser.ml src/lexer.ml \
-	    src/parse.ml \
-	    src/main.ml \
+	    $$($(OCAMLDEP) -sort src/*.mli src/*.ml) \
 	    -linkpkg -o $@
 
 # These rules are required by autoconf.