Use opam 2.0 compatible switch create (closes #1133)

goblint · Sep 12, 2023 · ee31392 · ee31392
1 parent 256ca95
commit ee31392
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/make.sh b/make.sh
@@ -8,7 +8,7 @@ opam_setup() {
   set -x
   opam init -y -a --bare $SANDBOXING # sandboxing is disabled in travis and docker
   opam update
-  opam switch -y create . --deps-only ocaml-variants.4.14.0+options ocaml-option-flambda --locked
+  opam switch -y create . --deps-only --packages=ocaml-variants.4.14.0+options,ocaml-option-flambda --locked
 }
 
 rule() {