maintainer: Build Fedora package in copr.

[goals.git] / Makefile.in

diff --git a/Makefile.in b/Makefile.in
index 29825e7..eeded2e 100644 (file)
--- a/Makefile.in
+++ b/Makefile.in
@@ -18,9 +18,10 @@
 
 # Pass through normal targets to Goalfile.in
 
-# XXX Why can't this parse "all" instead of "all ()"?
-all clean depend install check maintainer-clean: src/goals
-       ./run src/goals "$@ ()"
+all clean depend install check maintainer-clean dist distcheck \
+maintainer-check-extra-dist maintainer-release \
+maintainer-srpm maintainer-fedora-copr: src/goals
+       @./run src/goals $@ 'DESTDIR="$(DESTDIR)"'
 
 # 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 +40,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 $@