From 0314c6663da086b4ef6363b347c8653169c5e3c0 Mon Sep 17 00:00:00 2001 From: Ferruccio Guidi Date: Wed, 22 May 2002 16:57:18 +0000 Subject: [PATCH] mathql package started --- helm/ocaml/META.helm-mathql.src | 5 +++++ helm/ocaml/Makefile.common.in | 2 +- helm/ocaml/Makefile.in | 2 +- helm/ocaml/cic_textual_parser/.depend | 1 + 4 files changed, 8 insertions(+), 2 deletions(-) create mode 100644 helm/ocaml/META.helm-mathql.src diff --git a/helm/ocaml/META.helm-mathql.src b/helm/ocaml/META.helm-mathql.src new file mode 100644 index 000000000..1985a6be2 --- /dev/null +++ b/helm/ocaml/META.helm-mathql.src @@ -0,0 +1,5 @@ +requires="helm-cic_urimanager" +version="0.0.1" +archive(byte)="mathql.cma" +archive(native)="mathql.cmxa" +linkopts="" diff --git a/helm/ocaml/Makefile.common.in b/helm/ocaml/Makefile.common.in index 62df6201c..db01ff2b5 100644 --- a/helm/ocaml/Makefile.common.in +++ b/helm/ocaml/Makefile.common.in @@ -13,7 +13,7 @@ OCAMLFIND_DEST_DIR = @OCAMLFIND_DEST_DIR@ OCAMLOPTIONS = -package "$(REQUIRES)" -predicates "$(PREDICATES)" -pp camlp4o OCAMLC = ocamlfind ocamlc $(OCAMLOPTIONS) OCAMLOPT = ocamlfind ocamlopt $(OCAMLOPTIONS) -OCAMLDEP = ocamldep +OCAMLDEP = ocamldep -pp camlp4o OCAMLLEX = ocamllex OCAMLYACC = ocamlyacc diff --git a/helm/ocaml/Makefile.in b/helm/ocaml/Makefile.in index 5eb95fa83..9ebef2422 100644 --- a/helm/ocaml/Makefile.in +++ b/helm/ocaml/Makefile.in @@ -1,7 +1,7 @@ # Warning: the modules must be in compilation order MODULES = xml urimanager getter pxp cic cic_annotations cic_annotations_cache \ cic_cache cic_proof_checking cic_textual_parser cic_unification \ - mathql_interpreter + mathql mathql_interpreter OCAMLFIND_DEST_DIR = @OCAMLFIND_DEST_DIR@ OCAMLFIND_META_DIR = @OCAMLFIND_META_DIR@ diff --git a/helm/ocaml/cic_textual_parser/.depend b/helm/ocaml/cic_textual_parser/.depend index 0301adb27..2708be9f0 100644 --- a/helm/ocaml/cic_textual_parser/.depend +++ b/helm/ocaml/cic_textual_parser/.depend @@ -1,3 +1,4 @@ +cicTextualParserContext.cmi: cicTextualParser.cmi cicTextualParser.cmo: cicTextualParser0.cmo cicTextualParser.cmi cicTextualParser.cmx: cicTextualParser0.cmx cicTextualParser.cmi cicTextualParserContext.cmo: cicTextualParser.cmi cicTextualParser0.cmo \ -- 2.39.2