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