]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/getter/Makefile
- use PxpHelmConf
[helm.git] / helm / ocaml / getter / Makefile
index cc2519cfc693ae2281556a73e546ff7046373fc1..99529c2d4595d7e446deef39d3bd336956ff5f65 100644 (file)
@@ -2,8 +2,8 @@
 PACKAGE = getter
 
 REQUIRES = \
-       http dbm pcre pxp shell zip \
-       helm-thread helm-logger helm-urimanager helm-registry
+       http dbm pcre shell zip \
+       helm-pxp helm-thread helm-logger helm-urimanager helm-registry
 
 INTERFACE_FILES = \
        clientHTTP.mli \