Disable --strict option for OPAM 2.0/2.1 (#656)

This commit disables option `--strict` because new variable `with-dev-setup` has already been used by some packages in opam-repository. Fixes #655
na4zagin3 · Sep 27, 2023 · 5b7ac33 · 5b7ac33
1 parent 5495d7b
commit 5b7ac33
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/ci.sh b/ci.sh
@@ -24,6 +24,8 @@ case "$(opam --version)" in
     2.0.*|2.1.*)
         echo "Enable workaround for OPAM Bug #5132"
         WORKAROUND_OPAM_BUG_5132=1
+        echo "Enable workaround for #655"
+        WORKAROUND_OPAM_BUG_STRICT=1
         ;;
 esac