From d8cad71ee81263698800260df69decfadee49e88 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Tue, 6 Apr 2004 12:43:02 +0000 Subject: [PATCH] added Unix dependency (needed in order to run xmllint) --- helm/ocaml/registry/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/helm/ocaml/registry/Makefile b/helm/ocaml/registry/Makefile index 5ac7f60d4..84e86ec19 100644 --- a/helm/ocaml/registry/Makefile +++ b/helm/ocaml/registry/Makefile @@ -1,6 +1,6 @@ PACKAGE = registry -REQUIRES = str netstring pxp +REQUIRES = str netstring pxp unix INTERFACE_FILES = helm_registry.mli IMPLEMENTATION_FILES = helm_registry.ml -- 2.39.2