gha: depext no more need to have the opensuse workaround for glpk/mccs

rjbou · Jul 9, 2024 · 90a2d4e · 90a2d4e
1 parent 5299c56
commit 90a2d4e
Showing 1 changed file with 0 additions and 11 deletions.
diff --git 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