]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/xml/Makefile
a further step toward releasable Makefile
[helm.git] / helm / ocaml / xml / Makefile
index 7ecb754575b676d1e70750edce7ba47d29079bb8..7948435aac9209973d2871ec9c6bc609213c16f5 100644 (file)
@@ -1,5 +1,4 @@
 PACKAGE = xml
-REQUIRES = zip expat
 PREDICATES =
 
 INTERFACE_FILES =      \
@@ -9,4 +8,5 @@ IMPLEMENTATION_FILES = $(INTERFACE_FILES:%.mli=%.ml)
 EXTRA_OBJECTS_TO_INSTALL =
 EXTRA_OBJECTS_TO_CLEAN =
 
+include ../../Makefile.defs
 include ../Makefile.common