]> 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 7ecb754575b676d1e70750edce7ba47d29079bb8..6ca7bd944067dac40e1b342b84d41e81b8c5ccb7 100644 (file)
@@ -1,5 +1,4 @@
 PACKAGE = xml
-REQUIRES = zip expat
 PREDICATES =
 
 INTERFACE_FILES =      \