From b0ff7d934da5732cdca330361e07f01a6d507af3 Mon Sep 17 00:00:00 2001 From: Anthony Scemama Date: Fri, 18 Aug 2017 15:52:54 +0200 Subject: [PATCH] Update install_ocaml.sh --- install/scripts/install_ocaml.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/install/scripts/install_ocaml.sh b/install/scripts/install_ocaml.sh index f6978df2..80632dd2 100755 --- a/install/scripts/install_ocaml.sh +++ b/install/scripts/install_ocaml.sh @@ -64,7 +64,7 @@ fi cd Downloads || exit 1 chmod +x ocaml.sh || exit 1 -echo N | ./ocaml.sh ${QP_ROOT}/bin/ 4.02.3 || exit 1 +echo N | ./ocaml.sh ${QP_ROOT}/bin/ 4.02.1 || exit 1 ${QP_ROOT}/bin/opam config setup -a -q || exit 1