From 08148159d46f12889a882464c9c08d172d6f783a Mon Sep 17 00:00:00 2001
From: Serhii Shymkiv <sergey@shimkiv.com>
Date: Thu, 5 Sep 2024 20:35:22 +0300
Subject: [PATCH] Fix for develop and compatible.

---
 scripts/build-all.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/scripts/build-all.sh b/scripts/build-all.sh
index 5135122..73b476a 100755
--- a/scripts/build-all.sh
+++ b/scripts/build-all.sh
@@ -81,6 +81,7 @@ for TARGET_BRANCH in "${TARGET_BRANCHES[@]}"; do
   gitPullAll && gitPullAll
   git checkout ${TARGET_BRANCH}
   gitPullAll && gitPullAll
+  opam repository add --yes --all --set-default o1-labs https://github.com/o1-labs/opam-repository.git
   opam switch import --switch mina --yes opam.export
   opam switch import opam.export --yes
   chmod +x scripts/pin-external-packages.sh