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