removed the need of REQUIRES in libraries Makefile, they are now queried from the...

[helm.git] / helm / ocaml / cic_transformations / Makefile

diff --git a/helm/ocaml/cic_transformations/Makefile b/helm/ocaml/cic_transformations/Makefile
index 4a8977aa76254bbf99b43505e026b68af3803de1..c5b5eaf09d9a741bea767ff7f8e75f054dd4f74c 100644 (file)
--- a/helm/ocaml/cic_transformations/Makefile
+++ b/helm/ocaml/cic_transformations/Makefile
@@ -1,13 +1,4 @@
 PACKAGE = cic_transformations
-REQUIRES =                     \
-       gdome2                  \
-       helm-xml                \
-       helm-cic_proof_checking \
-       helm-cic_omdoc          \
-       helm-registry           \
-       helm-utf8_macros        \
-       helm-cic_notation       \
-       $(NULL)
 PREDICATES =
 
 # modules which have both a .ml and a .mli