local switch needs an ocaml version, otherwise opam complains (only i…

…f there is no switch yet), see ocaml/opam#3874
goblint · Jun 18, 2019 · c7d6e85 · c7d6e85
1 parent 2ea6289
commit c7d6e85
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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
 }