From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Thu, 22 Jan 2004 16:45:58 +0000 (+0000)
Subject: - added -thread switch
X-Git-Tag: V_0_5_1_4~3
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=4a671a60ba714f60b86d8ce02ff022899d6e52b7;p=helm.git

- added -thread switch
- reordered modules
---

diff --git a/helm/ocaml/Makefile.common.in b/helm/ocaml/Makefile.common.in
index 07720651a..15d0fdab1 100644
--- 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 02d81d265..ec30fb868 100644
--- 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@