]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/gTopLevel/topLevel/Makefile
MathQL query generator: new interface
[helm.git] / helm / gTopLevel / topLevel / Makefile
index 24c631a1059413381ba9d132da87f71db548cd79..5b31465312960fec23ef9605220d6c5f69ee5a4a 100644 (file)
@@ -4,7 +4,7 @@ PREDICATES =
 OCAMLOPTIONS = -I .. -package "$(REQUIRES)" -predicates "$(PREDICATES)"
 OCAMLC = ocamlfind ocamlc $(OCAMLOPTIONS)
 OCAMLOPT = ocamlfind ocamlopt $(OCAMLOPTIONS)
-OCAMLDEP = ocamldep
+OCAMLDEP = ocamldep -I ..
 
 LIBRARIES = $(shell ocamlfind query -recursive -predicates "byte $(PREDICATES)" -format "%d/%a" $(REQUIRES))
 LIBRARIES_OPT = $(shell ocamlfind query -recursive -predicates "native $(PREDICATES)" -format "%d/%a" $(REQUIRES))
@@ -44,4 +44,6 @@ uninstall:
 
 .PHONY: install uninstall clean
 
-include .depend
+ifneq ($(MAKECMDGOALS), depend)
+   include .depend   
+endif