]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/getter/Makefile
uses XmlPushParser instead of Pxp for parsing getter resolve answer
[helm.git] / helm / ocaml / getter / Makefile
index 820b1628ee58e38f8154b8daec214262b3d348cc..2895f12e1fb581c077ae7d88900a7025b28fa980 100644 (file)
@@ -3,7 +3,7 @@ PACKAGE = getter
 
 REQUIRES = \
        http dbm pcre shell zip \
-       helm-pxp helm-thread helm-logger helm-urimanager helm-registry
+       helm-xml helm-thread helm-logger helm-urimanager helm-registry
 
 INTERFACE_FILES = \
        tree.mli \