]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/cic_notation/Makefile
removed the need of REQUIRES in libraries Makefile, they are now queried from the...
[helm.git] / helm / ocaml / cic_notation / Makefile
index cfd1ad505d61ec46a0d4bca013ad52b0c4e06056..21c9a4e8c60d734e41bef88cfa18bcab3ea86aa3 100644 (file)
@@ -1,13 +1,6 @@
 
 PACKAGE = cic_notation
 NULL =
-REQUIRES = \
-       helm-cic                \
-       helm-utf8_macros        \
-       camlp4.gramlib          \
-       helm-cic_proof_checking \
-       ulex                    \
-       $(NULL)
 INTERFACE_FILES = \
        renderingAttrs.mli      \
        cicNotationUtil.mli     \