From 7788488eacc707ea3fc1bcdba5284f52e9a201c4 Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Mon, 10 Sep 2018 18:42:11 +0200
Subject: [PATCH] un-do '--use-internal-solver'

It leads to ocamlfind being upgraded and downgraded all the time, which leads to
Coq being recompiled.
---
 prepare-opam.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/prepare-opam.sh b/prepare-opam.sh
index 6d2c4ef..7b06164 100644
--- a/prepare-opam.sh
+++ b/prepare-opam.sh
@@ -70,7 +70,7 @@ fi
 
 # Install build-dependencies.
 echo_color "$BOLDGREEN" "[prepare-opam] Installing build-dependencies"
-make build-dep OPAMFLAGS="-y --use-internal-solver"
+make build-dep OPAMFLAGS="-y"
 echo
 
 # done
-- 
GitLab