-
Notifications
You must be signed in to change notification settings - Fork 719
Reduce number of linux release binaries #11083
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
base: master
Are you sure you want to change the base?
Reduce number of linux release binaries #11083
Conversation
|
d3e473e
to
2b167fa
Compare
2b167fa
to
35aabea
Compare
- glibc (dynamic) - musl (fully static) 'gmp' and 'zlib' are always statically linked.
35aabea
to
fa10655
Compare
I think this is an interesting direction to investigate but I think that we should let the migration from gitlab to github release CI settle down first before making other major changes to the packaging and distribution story. It could be worth discussing this issue in the cabal developers meeting or on a cabal proposal if there are differences of opinion about what's best to do. I'm normally just quite conservative when it comes to changing things to do with distribution. |
run: | | ||
cd out | ||
tar xf *.${TARBALL_EXT} | ||
ldd cabal | grep --quiet gmp && exit 1 |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
This check could also check that there aren't other libraries dynamically linked just-in-case others slip into the build plan accidentally.
}, | ||
{ image: "fedora:36" | ||
{ image: "fedora:37" |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
These test platform changes seem unrelated.
curl -O -L ${{ env.GMP_URL }}/gmp-${{ env.GMP_VERSION }}.tar.xz | ||
tar xf gmp-${{ env.GMP_VERSION }}.tar.xz | ||
cd gmp-${{ env.GMP_VERSION }} | ||
CFLAGS=-fPIC ./configure --prefix=$HOME/.local/ --disable-shared |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
AFAIU, static linking of the gmp library is suitable for the distribution of cabal-install since it is possible for an end user to rebuild the relevant cabal-install release (since the source code is distributed) and link against a different version of gmp.
As I think this point is commonly misunderstood, at least linking to a description of this issue would be a good idea I think in case someone else wonders the same thing.
I don't think I will have capacity to write a cabal proposal or come back to this in a couple of months, so feel free to close this PR as rejected in that case. |
As described here: #11078
Depends-on: #11072