diff --git a/configure b/configure index 632c2298..9a4bbbc2 100755 --- a/configure +++ b/configure @@ -60,7 +60,7 @@ function execute () { } PACKAGES="" -OCAML_PACKAGES="ocamlbuild cryptokit zmq core sexplib ppx_sexp_conv ppx_deriving getopt" +OCAML_PACKAGES="ocamlbuild cryptokit zmq core.v0.11.3 sexplib ppx_sexp_conv ppx_deriving getopt" while true ; do case "$1" in