Skip to content

Commit bee6145

Browse files
committed
The integer twaek is needed for the solver
1 parent ab6bbcf commit bee6145

File tree

2 files changed

+9
-8
lines changed

2 files changed

+9
-8
lines changed

.github/actions/setup-build/action.yml

Lines changed: 9 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -54,6 +54,15 @@ runs:
5454
fi
5555
shell: bash
5656

57+
# some alpines come with integer-simple instead of integer-gmp
58+
- if: inputs.os == 'Linux'
59+
name: Force integer-simple
60+
run: |
61+
if ghc --info | grep -q integer-simple ; then
62+
echo -e 'flags: +integer-simple' >> cabal.project.local
63+
fi
64+
shell: bash
65+
5766
- if: inputs.os == 'Windows' && inputs.ghc == '8.8.4'
5867
name: (Windows,GHC 8.8) Modify `cabal.project` to workaround segfaults
5968
run: |

.github/workflows/build.yml

Lines changed: 0 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -46,14 +46,6 @@ jobs:
4646
ghc: ${{ matrix.ghc }}
4747
os: ${{ runner.os }}
4848

49-
# some alpines come with integer-simple instead of integer-gmp
50-
- name: Force integer-simple
51-
if: matrix.os == 'ubuntu-18.04'
52-
run: |
53-
if ghc --info | grep -q integer-simple ; then
54-
echo -e 'package blaze-textual\n flags: +integer-simple' >> cabal.project.local
55-
fi
56-
5749
- name: (Windows) Platform specifics
5850
if: matrix.os == 'windows-latest'
5951
env:

0 commit comments

Comments
 (0)