From 86b982c769d48489e51ab5fe9d93f543972bbe73 Mon Sep 17 00:00:00 2001 From: Anthony Scemama Date: Wed, 13 Mar 2019 11:40:15 +0100 Subject: [PATCH] Forcing core v0.11.3 because v0.12 is broken --- configure | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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