]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mathql_test/Makefile
patched
[helm.git] / helm / mathql_test / Makefile
index 04fea5185fd64a9b1b0c3d6989b309fbc19b402f..086fadc283298011da95a103cd149f69de80abdd 100644 (file)
@@ -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