mathql package started

diff --git a/helm/ocaml/META.helm-mathql.src b/helm/ocaml/META.helm-mathql.src
new file mode 100644 (file)
index 0000000..1985a6b
--- /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 62df6201cad1f59b4f7094308fbef661da0c2c5b..db01ff2b585cd542587f15a4a5b13e2f7bfd48a7 100644 (file)
--- 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 5eb95fa835efe1554db89fd2b7e3a5901388dde9..9ebef24228f5eda545bb046f2add63792f75112f 100644 (file)
--- 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 0301adb27d245ca08d7fc0be74fdba41d224aff6..2708be9f0409d66936193905a42dcd2c43a01463 100644 (file)
--- 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 \