From 9c19b63f6a0926b243de1cc5c5b08863627e93b5 Mon Sep 17 00:00:00 2001 From: Anthony Scemama Date: Fri, 18 Aug 2017 12:45:43 +0200 Subject: [PATCH] Try to pin to ocaml 4.02.1 --- install/scripts/install_ocaml.sh | 1 + 1 file changed, 1 insertion(+) diff --git a/install/scripts/install_ocaml.sh b/install/scripts/install_ocaml.sh index b82216d3..d1c28d67 100755 --- a/install/scripts/install_ocaml.sh +++ b/install/scripts/install_ocaml.sh @@ -66,6 +66,7 @@ chmod +x ocaml.sh || exit 1 echo N | ./ocaml.sh ${QP_ROOT}/bin/ || exit 1 +${QP_ROOT}/bin/opam switch 4.02.1 || exit 1 ${QP_ROOT}/bin/opam config setup -a -q || exit 1 export LD_LIBRARY_PATH=${QP_ROOT}/lib:${LD_LIBRARY_PATH}