]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mathql_test/Makefile
ocaml 3.09 transition
[helm.git] / helm / mathql_test / Makefile
index 086fadc283298011da95a103cd149f69de80abdd..45aa2a4982ff9cf5e517176a74bb1f5f0f1653d6 100644 (file)
@@ -1,5 +1,5 @@
 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)" -thread