From 4a671a60ba714f60b86d8ce02ff022899d6e52b7 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Thu, 22 Jan 2004 16:45:58 +0000 Subject: [PATCH] - added -thread switch - reordered modules --- helm/ocaml/Makefile.common.in | 4 ++-- helm/ocaml/Makefile.in | 4 ++-- 2 files changed, 4 insertions(+), 4 deletions(-) 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@ -- 2.39.2