]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/gTopLevel/topLevel/Makefile
When the stylesheet from TML to MathML generated a document without a root
[helm.git] / helm / gTopLevel / topLevel / Makefile
index e0af8f6edc17424b6732b6581d6611c96fe0ab8a..01dd0e1735154710d0ba4e477faff058249951cf 100644 (file)
@@ -1,5 +1,5 @@
 BIN_DIR = /usr/local/bin
-REQUIRES = helm-cic_textual_parser helm-cic_proof_checking helm-mathql helm-mathql_interpreter
+REQUIRES = helm-urimanager helm-cic_textual_parser helm-cic_proof_checking helm-mathql helm-mathql_interpreter
 PREDICATES =
 OCAMLOPTIONS = -I .. -package "$(REQUIRES)" -predicates "$(PREDICATES)"
 OCAMLC = ocamlfind ocamlc $(OCAMLOPTIONS)