From a7a280d9a2c7acc921b2d335fb167cb71055ea89 Mon Sep 17 00:00:00 2001
From: Anthony Scemama <scemama@irsamc.ups-tlse.fr>
Date: Mon, 8 Apr 2019 10:50:23 +0200
Subject: [PATCH] Removed ocaml compiler version from configure

---
 configure | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/configure b/configure
index f3186018..0acf7f6b 100755
--- a/configure
+++ b/configure
@@ -276,8 +276,7 @@ EOF
                 rm ${QP_ROOT}/external/opam_installer.sh
                 source ${OPAMROOT}/opam-init/init.sh > /dev/null 2> /dev/null || true
 
-                ${QP_ROOT}/bin/opam init --disable-sandboxing --verbose \
-                    --yes --comp=4.07.0
+                ${QP_ROOT}/bin/opam init --disable-sandboxing --verbose --yes 
 
                 eval $(${QP_ROOT}/bin/opam env)
                 opam install -y ${OCAML_PACKAGES}  || exit 1
@@ -292,7 +291,7 @@ EOF
                   rm \${QP_ROOT}/external/opam_installer.sh
                   source \${OPAMROOT}/opam-init/init.sh > /dev/null 2> /dev/null || true
                   \${QP_ROOT}/bin/opam init --disable-sandboxing --verbose \
-                      --yes --comp=4.07.0
+                      --yes 
                   eval \$(\${QP_ROOT}/bin/opam env)
                   opam install -y \${OCAML_PACKAGES}  || exit 1
 EOF