X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmathql_test%2FMakefile;h=eaeb5b81e796bea6fb2b2af4b55dac8d40808101;hb=03e2a78decd364cb401db8033b7e9472abfdcfd4;hp=a4a0c181a73b920e6e7c79e6a36d90445bf3753d;hpb=ad4c175433641f3b6668971bb7b3498c31390e0e;p=helm.git

diff --git a/helm/mathql_test/Makefile b/helm/mathql_test/Makefile
index a4a0c181a..eaeb5b81e 100644
--- a/helm/mathql_test/Makefile
+++ b/helm/mathql_test/Makefile
@@ -1,9 +1,9 @@
 BIN_DIR = /usr/local/bin
-REQUIRES = unix helm-cic_textual_parser helm-cic_proof_checking \
+REQUIRES = unix helm-registry helm-cic_textual_parser helm-cic_proof_checking \
 	   helm-mathql helm-mathql_interpreter helm-mathql_generator \
 	   helm-tactics
 PREDICATES =
-OCAMLOPTIONS = -package "$(REQUIRES)" -predicates "$(PREDICATES)"
+OCAMLOPTIONS = -package "$(REQUIRES)" -predicates "$(PREDICATES)" -thread
 OCAMLC = ocamlfind ocamlc $(OCAMLOPTIONS)
 OCAMLOPT = ocamlfind ocamlopt $(OCAMLOPTIONS)
 OCAMLDEP = ocamldep