]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/mathql_test/Makefile
MathQL 1.3 ready for use
[helm.git] / helm / ocaml / mathql_test / Makefile
index 6b2c6662f72b346f158ee43831aab8ec70e3e567..04fea5185fd64a9b1b0c3d6989b309fbc19b402f 100644 (file)
@@ -1,6 +1,6 @@
 BIN_DIR = /usr/local/bin
-REQUIRES = unix helm-cic helm-cic_textual_parser helm-mathql \
-      helm-mathql_interpreter helm-mathql_generator 
+REQUIRES = unix helm-cic_textual_parser \
+          helm-mathql helm-mathql_interpreter helm-mathql_generator
 PREDICATES =
 OCAMLOPTIONS = -package "$(REQUIRES)" -predicates "$(PREDICATES)"
 OCAMLC = ocamlfind ocamlc $(OCAMLOPTIONS)