From 32b347ee2bf6d2e942eae3d4c5dca84f4c9b7e49 Mon Sep 17 00:00:00 2001 From: Ferruccio Guidi Date: Wed, 5 Feb 2003 14:04:06 +0000 Subject: [PATCH] Makefile patched --- helm/gTopLevel/topLevel/.depend | 2 ++ helm/gTopLevel/topLevel/Makefile | 5 ++--- 2 files changed, 4 insertions(+), 3 deletions(-) create mode 100644 helm/gTopLevel/topLevel/.depend diff --git a/helm/gTopLevel/topLevel/.depend b/helm/gTopLevel/topLevel/.depend new file mode 100644 index 000000000..0bd921fe1 --- /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 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) -- 2.39.2