From 3f08cc93a2edfa2080dea68fad7179108a554f8c Mon Sep 17 00:00:00 2001
From: Anthony Scemama <scemama@irsamc.ups-tlse.fr>
Date: Fri, 18 Aug 2017 13:46:40 +0200
Subject: [PATCH] Using OCaml 4.02.3

---
 install/scripts/install_ocaml.sh | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/install/scripts/install_ocaml.sh b/install/scripts/install_ocaml.sh
index d1c28d67..bfdc7526 100755
--- a/install/scripts/install_ocaml.sh
+++ b/install/scripts/install_ocaml.sh
@@ -64,9 +64,8 @@ fi
 cd Downloads || exit 1
 chmod +x  ocaml.sh || exit 1
 
-echo N | ./ocaml.sh ${QP_ROOT}/bin/ || exit 1
+echo N | ./ocaml.sh ${QP_ROOT}/bin/ 4.02.3 || 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}