Makefile patched

diff --git a/helm/gTopLevel/topLevel/.depend b/helm/gTopLevel/topLevel/.depend
new file mode 100644 (file)
index 0000000..0bd921f
--- /dev/null
+++ b/helm/gTopLevel/topLevel/.depend
@@ -0,0 +1,2 @@
+topLevel.cmo: ../mQueryGenerator.cmi 
+topLevel.cmx: ../mQueryGenerator.cmx 

diff --git a/helm/gTopLevel/topLevel/Makefile b/helm/gTopLevel/topLevel/Makefile
index a78019a811b8982a494c87a041fef2ea93db3686..5b31465312960fec23ef9605220d6c5f69ee5a4a 100644 (file)
--- 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)