X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;ds=sidebyside;f=Makefile.in;h=7fbf0de1ab85455712af6f698bbec60825d5490c;hb=1e635c39f10c498571621a4230c524983fe651b6;hp=8529ad2560497d53f4a54241737203599c8de0a9;hpb=bc05c5c0eef21e7f80a9b6a7fa7e551b200ad905;p=goals.git

diff --git a/Makefile.in b/Makefile.in
index 8529ad2..7fbf0de 100644
--- a/Makefile.in
+++ b/Makefile.in
@@ -18,9 +18,8 @@
 
 # Pass through normal targets to Goalfile.in
 
-# XXX Why can't this parse "all" instead of "all ()"?
-all clean depend install maintainer-clean: src/goals
-	./run src/goals "$@ ()"
+all clean depend install check maintainer-clean: src/goals
+	@./run src/goals $@
 
 # If src/goals doesn't exist then brute-force build it.  Once we have
 # src/goals we can rebuild it and other parts of the project using
@@ -39,7 +38,8 @@ src/goals:
 	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 \
+	$(OCAMLFIND) opt $(OCAMLFLAGS) $(OCAMLPACKAGES) -I . -I src \
+	    src/utils-c.c \
 	    $$($(OCAMLDEP) -sort src/*.mli src/*.ml) \
 	    -linkpkg -o $@