From c7d6e854544c663695d42510ce47ba450a1b70f8 Mon Sep 17 00:00:00 2001 From: Ralf Vogler Date: Tue, 18 Jun 2019 13:38:33 +0200 Subject: [PATCH] local switch needs an ocaml version, otherwise opam complains (only if there is no switch yet), see ocaml/opam#3874 --- make.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/make.sh b/make.sh index 33faad62d3..c5212dbd65 100755 --- a/make.sh +++ b/make.sh @@ -17,7 +17,7 @@ ocb() { opam_setup() { set -x opam init -y -a --bare - opam switch -y create ./ --deps-only + opam switch -y create ./ --deps-only 4.07.1 # opam install camlp4 mongo # camlp4 needed for mongo }