Commits (1)
......@@ -70,7 +70,7 @@ fi
# Install build-dependencies.
echo_color "$BOLDGREEN" "[prepare-opam] Installing build-dependencies"
make build-dep OPAMFLAGS=-y
make build-dep OPAMFLAGS="-y --use-internal-solver"
echo
# done
......