X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmathql_test%2FMakefile;fp=helm%2Fmathql_test%2FMakefile;h=086fadc283298011da95a103cd149f69de80abdd;hb=33d4551ce09262e3a4d00d14e0428ee94367bf91;hp=04fea5185fd64a9b1b0c3d6989b309fbc19b402f;hpb=b029556cbcecb852dfc9cf25801f3dcc0bb762bb;p=helm.git

diff --git a/helm/mathql_test/Makefile b/helm/mathql_test/Makefile
index 04fea5185..086fadc28 100644
--- a/helm/mathql_test/Makefile
+++ b/helm/mathql_test/Makefile
@@ -2,7 +2,7 @@ BIN_DIR = /usr/local/bin
 REQUIRES = unix helm-cic_textual_parser \
 	   helm-mathql helm-mathql_interpreter helm-mathql_generator
 PREDICATES =
-OCAMLOPTIONS = -package "$(REQUIRES)" -predicates "$(PREDICATES)"
+OCAMLOPTIONS = -package "$(REQUIRES)" -predicates "$(PREDICATES)" -thread
 OCAMLC = ocamlfind ocamlc $(OCAMLOPTIONS)
 OCAMLOPT = ocamlfind ocamlopt $(OCAMLOPTIONS)
 OCAMLDEP = ocamldep