X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FgTopLevel%2FtopLevel%2FMakefile;h=5b31465312960fec23ef9605220d6c5f69ee5a4a;hb=32b347ee2bf6d2e942eae3d4c5dca84f4c9b7e49;hp=a78019a811b8982a494c87a041fef2ea93db3686;hpb=8d384f4df7e7411870a36486db9e2282dca1cbd5;p=helm.git

diff --git a/helm/gTopLevel/topLevel/Makefile b/helm/gTopLevel/topLevel/Makefile
index a78019a81..5b3146531 100644
--- a/helm/gTopLevel/topLevel/Makefile
+++ b/helm/gTopLevel/topLevel/Makefile
@@ -2,10 +2,9 @@ BIN_DIR = /usr/local/bin
 REQUIRES = helm-urimanager helm-cic_textual_parser helm-cic_proof_checking helm-mathql helm-mathql_interpreter
 PREDICATES =
 OCAMLOPTIONS = -I .. -package "$(REQUIRES)" -predicates "$(PREDICATES)"
-OCAMLDEPOPTIONS = $(shell ocamlfind query -recursive -predicates "$(PREDICATES)" -i-format $(REQUIRES))
 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))
@@ -18,7 +17,7 @@ DEPOBJS = topLevel.ml
 TOPLEVELOBJS = ../mQueryLevels.cmo ../mQueryGenerator.cmo topLevel.cmo
 
 depend:
-	$(OCAMLDEP) $(OCAMLDEPOPTIONS) $(DEPOBJS) > .depend
+	$(OCAMLDEP) $(DEPOBJS) > .depend
 
 topLevel: $(TOPLEVELOBJS) $(LIBRARIES)
 	$(OCAMLC)  -linkpkg -o topLevel $(TOPLEVELOBJS)