]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/xml/Makefile
removed the need of REQUIRES in libraries Makefile, they are now queried from the...
[helm.git] / helm / ocaml / xml / Makefile
index fabd2dfcecc0aa5799035d6b354221a0ea8295c6..6ca7bd944067dac40e1b342b84d41e81b8c5ccb7 100644 (file)
@@ -1,5 +1,4 @@
 PACKAGE = xml
-REQUIRES = zip expat helm-extlib
 PREDICATES =
 
 INTERFACE_FILES =      \