From 90a2d4ea1cd49a128508d5776c6cff4b0de97982 Mon Sep 17 00:00:00 2001
From: Raja Boujbel <raja.boujbel@ocamlpro.com>
Date: Tue, 9 Jul 2024 16:01:17 +0200
Subject: [PATCH] gha: depext no more need to have the opensuse workaround for
 glpk/mccs

---
 .github/scripts/depexts/generate-actions.sh | 11 -----------
 1 file changed, 11 deletions(-)

diff --git a/.github/scripts/depexts/generate-actions.sh b/.github/scripts/depexts/generate-actions.sh
index 7205fd84474..8d2028efe8e 100644
--- a/.github/scripts/depexts/generate-actions.sh
+++ b/.github/scripts/depexts/generate-actions.sh
@@ -146,17 +146,6 @@ set -eux
 ### LOCAL TESTING
 git clone https://github.com/ocaml/opam --single-branch --branch 2.2 --depth 1 local-opam
 cd local-opam
-EOF
-
-# workaround for opensuse, mccs & glpk
-if [ $target = "opensuse" ]; then
-  cat >>$dir/entrypoint.sh << EOF
-OPAMEDITOR="sed -i 's|^build.*$|& [\\"mv\\" \\"src/glpk/dune-shared\\" \\"src/glpk/dune\\"]|'" opam pin edit mccs -yn
-#opam show --raw mccs
-EOF
-fi
-
-cat >>$dir/entrypoint.sh << EOF
 opam install . --deps
 eval \$(opam env)
 ./configure