Open
Conversation
If extra-lib-dirs and/or extra-include-dirs are specified via either command line or project files, they’re going to be added for each package in the dendency graph. With enough long enough directories the command-line length limits for gcc may be hit and calls to the C compiler made from hsc2hs will start failing. Ideally hsc2hs should be using repsonse files, but needlessly specifying myriad of command-line parameters is redundant anyway.
3809e76 to
475ceb2
Compare
a6051dd to
5370e7a
Compare
Deduplicate hsc2hs args
e0450a9 to
4cf714d
Compare
- Bump to hlint-3.10 in the gh-action
4cf714d to
069b79d
Compare
0feed7f to
19f4d9a
Compare
hasufell
commented
Jul 22, 2025
hasufell
commented
Jul 22, 2025
.github/workflows/rebase.yaml
Outdated
|
|
||
| for branch in ${{ needs.rebase.outputs.rebase_output }} ; do | ||
| git checkout "${branch}" | ||
| echo "git push -f https://${{ secrets.REBASE_PAT }}@github.com/${{ github.repository }}.git tmp/${branch}:${branch} |
Member
Author
There was a problem hiding this comment.
TODO: echo, because we're scared!
Fix typo in haddock comment
Bump to hlint-3.10
CI: add GHC 8.6.5 to validate-old-ghcs
368e86e to
2119118
Compare
andreabedini
approved these changes
Jul 24, 2025
- glibc (dynamic) - musl (fully static) 'gmp' and 'zlib' are always statically linked.
2119118 to
0a74ea1
Compare
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
No description provided.