X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=Makefile.in;h=7fbf0de1ab85455712af6f698bbec60825d5490c;hb=740baf408886c3acd525fd057802e973aa3c3a8c;hp=74fc7de3c0e83cb86714e42012b26a3399dcf17c;hpb=2ac1b84cb49ad04e27b4543436b0227153fbfb15;p=goals.git diff --git a/Makefile.in b/Makefile.in index 74fc7de..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: 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 $@