X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmathql_test%2FMakefile;h=45aa2a4982ff9cf5e517176a74bb1f5f0f1653d6;hb=3bb4ce11fb9d4c6375483a80344beb94c4517dd7;hp=04fea5185fd64a9b1b0c3d6989b309fbc19b402f;hpb=0e74e8e94eada756157addce67e4adeb8dff1feb;p=helm.git

diff --git a/helm/mathql_test/Makefile b/helm/mathql_test/Makefile
index 04fea5185..45aa2a498 100644
--- a/helm/mathql_test/Makefile
+++ b/helm/mathql_test/Makefile
@@ -1,8 +1,8 @@
 BIN_DIR = /usr/local/bin
-REQUIRES = unix helm-cic_textual_parser \
+REQUIRES = unix helm-registry 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