- added -thread switch

- reordered modules

diff --git a/helm/ocaml/Makefile.common.in b/helm/ocaml/Makefile.common.in
index 07720651ae7034666bce184d995dd1c4e35c55f3..15d0fdab1a782c57696e930841a14c907a9abf76 100644 (file)
--- a/helm/ocaml/Makefile.common.in
+++ b/helm/ocaml/Makefile.common.in
@@ -13,8 +13,8 @@ OCAMLFIND_DEST_DIR = @OCAMLFIND_DEST_DIR@
 PREPROCOPTIONS = -pp camlp4o
 PREREQ =
 OCAMLOPTIONS = -package "$(REQUIRES)" -predicates "$(PREDICATES)"
-OCAMLC = ocamlfind ocamlc $(OCAMLOPTIONS) $(PREPROCOPTIONS)
-OCAMLOPT = ocamlfind ocamlopt $(OCAMLOPTIONS) $(PREPROCOPTIONS)
+OCAMLC = ocamlfind ocamlc -thread $(OCAMLOPTIONS) $(PREPROCOPTIONS)
+OCAMLOPT = ocamlfind ocamlopt -thread $(OCAMLOPTIONS) $(PREPROCOPTIONS)
 OCAMLDEP = ocamlfind ocamldep $(PREPROCOPTIONS)
 OCAMLLEX = ocamllex
 OCAMLYACC = ocamlyacc

diff --git a/helm/ocaml/Makefile.in b/helm/ocaml/Makefile.in
index 02d81d265f58a8f762c468e6554db749f666c290..ec30fb868343eff2ed0920b63ba7a7a7d6628656 100644 (file)
--- a/helm/ocaml/Makefile.in
+++ b/helm/ocaml/Makefile.in
@@ -10,7 +10,6 @@ MODULES = \
        cic_cache \
        cic_proof_checking \
        cic_textual_parser \
-       cic_textual_parser2 \
        tex_cic_textual_parser \
        cic_unification \
        mathql \
@@ -19,7 +18,8 @@ MODULES = \
        cic_omdoc \
        tactics \
        cic_transformations \
-       logger
+       logger \
+       cic_textual_parser2
 
 OCAMLFIND_DEST_DIR = @OCAMLFIND_DEST_DIR@
 OCAMLFIND_META_DIR = @OCAMLFIND_META_DIR@