From a87af0e223a8da179ade3a390264488cc5ef10f6 Mon Sep 17 00:00:00 2001 From: Raja Boujbel Date: Fri, 21 Feb 2025 12:46:32 +0100 Subject: [PATCH] wip --- .github/scripts/main/main.sh | 23 +++++++++++++++++++++++ 1 file changed, 23 insertions(+) diff --git a/.github/scripts/main/main.sh b/.github/scripts/main/main.sh index 452335363ce..b474c9f1130 100644 --- a/.github/scripts/main/main.sh +++ b/.github/scripts/main/main.sh @@ -166,28 +166,51 @@ fi if [ "$OPAM_DEPENDS" = "1" ]; then + DEPENDS_ERRORS="" + (set +x; echo -en "::group::depends\r") 2>/dev/null + # opam-publish (set +x; echo -en "::group::depends-opam-publish\r") 2>/dev/null prepare_project "ocaml-opam/opam-publish" + set +e opam pin . -yn opam install opam-publish --deps-only opam-client.to-test make || { opam reinstall opam-client -y; make; } + if [ $? -ne 0 ]; then + DEPENDS_ERRORS="$DEPENDS_ERRORS opam-publish" + fi + set -e (set +x ; echo -en "::endgroup::depends-opam-publish\r") 2>/dev/null # opam-bundle (set +x; echo -en "::group::depends-opam-bundle\r") 2>/dev/null prepare_project "AltGr/opam-bundle" + set +e opam pin . -yn opam install opam-bundle --deps-only opam-client.to-test make || { opam reinstall opam-client -y; make; } + if [ $? -ne 0 ]; then + DEPENDS_ERRORS="$DEPENDS_ERRORS opam-publish" + fi + set -e (set +x ; echo -en "::endgroup::depends-opam-bundle\r") 2>/dev/null # opam-custom-install (set +x; echo -en "::group::depends-opam-custom-install\r") 2>/dev/null prepare_project "AltGr/opam-custom-install" + set +e opam pin . -yn --ignore-pin-depends opam install opam-custom-install --deps-only opam-client.to-test dune build || { opam reinstall opam-client -y; dune build; } + if [ $? -ne 0 ]; then + DEPENDS_ERRORS="$DEPENDS_ERRORS opam-publish" + fi + set -e (set +x ; echo -en "::endgroup::depends-opam-custom-install\r") 2>/dev/null + if [ -n "$DEPENDS_ERRORS" ]; then + echo -e "\e[31mErrors detected in plugins $DEPENDS_ERRORS\e[0m"; + echo 1 + fi + (set +x ; echo -en "::endgroup::depends\r") 2>/dev/null fi