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
giac: remove liblapackWithAtlas dependency #40430
Conversation
No attempt on x86_64-darwin (full log) The following builds were skipped because they don't evaluate on x86_64-darwin: giac Partial log (click to expand)
|
Success on x86_64-linux (full log) Attempted: giac Partial log (click to expand)
|
Success on aarch64-linux (full log) Attempted: giac Partial log (click to expand)
|
The "sources of truth" I used for dependencies are this page https://www-fourier.ujf-grenoble.fr/~parisse/giac_compile.html which tells nothing about either lapack or atlas, and the INSTALL file in the tarball which says:
Hence my use of lapackWithAtlas Honestly, I don't even know what lapack and atlas really are beyond "number crunching libraries". Besides, xcas still seems to work with this change. So if you have reasons to think lapack without atlas is better, then go ahead :) |
It (neither |
@GrahamcOfBorg build giac-with-xcas |
No attempt on x86_64-darwin (full log) The following builds were skipped because they don't evaluate on x86_64-darwin: giac-with-xcas Partial log (click to expand)
|
Success on x86_64-linux (full log) Attempted: giac-with-xcas Partial log (click to expand)
|
Success on aarch64-linux (full log) Attempted: giac-with-xcas Partial log (click to expand)
|
it is strange, lapack seems to be used in the code. https://salsa.debian.org/science-team/giac/blob/master/src/vecteur.cc#L13574 |
Or, if |
Oh, I missed the We could also make it optional, but theres not much point in doing that if nobody uses it or even knows what it does. |
Keep it simple - I don't think an option is necessary. Chances are nobody will ever complain. |
xeji is right, building giac with or without lapack does not make any difference given the number of potential users. So let's leave it as is. |
I don't like just leaving that flag lying around, so for completions sake: #40458 |
Motivation for this change
atlas
takes ages to build, is optimized for the build machine and doesn't currently build on aarch.I tried to figure out why the
liblapackWithAtlas
dependency is needed for giac and I couldn't find a reason. gentoo (at least in its sage overlay, I couldn't find another package) and debian don't have a dependency on giac. I couldn't find any mention of it on giacs homepage either.Nothing besides sage depends on giac, so I couldn't use that as a test either. So unless the maintainer @symphorien remembers the original reason to include that dependency, I propose we remove it.
Things done
build-use-sandbox
innix.conf
on non-NixOS)nix-shell -p nox --run "nox-review wip"
./result/bin/
)