Skip to content

Commit

Permalink
gha: depexts, remove opensuse workaround for glpk/mccs
Browse files Browse the repository at this point in the history
  • Loading branch information
rjbou committed Jul 9, 2024
1 parent fc3b139 commit f3bc570
Show file tree
Hide file tree
Showing 2 changed files with 1 addition and 11 deletions.
11 changes: 0 additions & 11 deletions .github/scripts/depexts/generate-actions.sh
Original file line number Diff line number Diff line change
Expand Up @@ -142,17 +142,6 @@ cd /github/workspace
#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
Expand Down
1 change: 1 addition & 0 deletions master_changes.md
Original file line number Diff line number Diff line change
Expand Up @@ -129,6 +129,7 @@ users)
* Depexts: move parts to docker build image, for caching [#6079 @rjbou]
* Depexts: set version for conf packages to check [#6079 @rjbou]
* Depexts: add package to test containing `os-version` in filter [#6079 @rjbou]
* Depexts: fix opensuse job [#6079 @rjbou]

## Doc
* Remove the ppa from the installation instructions on Ubuntu [#5988 @kit-ty-kate - fix #5987]
Expand Down

0 comments on commit f3bc570

Please sign in to comment.