MathQL query generator: new interface

[helm.git] / helm / gTopLevel / topLevel / Makefile

diff --git a/helm/gTopLevel/topLevel/Makefile b/helm/gTopLevel/topLevel/Makefile
index 1245ae089062c60e7ec13eff3fc3e4aeb45ca652..5b31465312960fec23ef9605220d6c5f69ee5a4a 100644 (file)
--- a/helm/gTopLevel/topLevel/Makefile
+++ b/helm/gTopLevel/topLevel/Makefile
@@ -4,7 +4,7 @@ PREDICATES =
 OCAMLOPTIONS = -I .. -package "$(REQUIRES)" -predicates "$(PREDICATES)"
 OCAMLC = ocamlfind ocamlc $(OCAMLOPTIONS)
 OCAMLOPT = ocamlfind ocamlopt $(OCAMLOPTIONS)
-OCAMLDEP = ocamldep -I .. -I ../../ocaml/mathql_interpreter -I ../../ocaml/mathql
+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