New modularized distributions sagemath-{flint,gap,giac,homfly,ntl,pari}

[mkoeppe]

📚 Description

We add new distributions that ship the Cython modules depending on a specific library.

To test: make pypi-wheels.
(This is also automatically run as part of the Build&Test workflow.)

Goals of this PR:

• wheels for the distributions are separately buildable
• disjointness of the wheels

Non-goals:

• disjointness of source distributions (currently we ship, but do not install, duplicate copies of pxd files)
• separately testable (this depends on Modularization of sagelib: Distributions sagemath-{brial,combinat,eclib,flint,gap,giac,glpk,graphs,groups,homfly,lcalc,libbraiding,libecm,linbox,modules,mpmath,ntl,pari,plot,polyhedra,schemes,singular,standard-no-symbolics,symbolics} #35095, which enlarges sagemath-categories)

This PR:

• Resolves Distributions sagemath-{flint-arb,homfly,giac,gap}, add "sage_setup: distribution" to Cython modules #30666

Part of:

• Meta-ticket: Modularize sagelib into separate distributions (pip-installable packages) sagemath-... for Sage 10.x #29705

📝 Checklist

• The title is concise, informative, and self-explanatory.
• The description explains in detail what this PR is about.
• I have linked a relevant issue or discussion.
• I have created tests covering the changes.
• I have updated the documentation accordingly.

⌛ Dependencies

[mkoeppe]

Is this WIP?

Ready for review now.

[dimpase]

Are these 60 commits makes sense, or they better be squashed?

How does one install, say sagemath-flint ? Is it in the docs?

[mkoeppe]

You do "make sagemath_flint", as with any other package.
(It only builds the wheel -- installing it into the Sage venv makes no sense because it duplicates parts of the monolithic Sage library.)

Testing is documented in https://doc.sagemath.org/html/en/developer/packaging_sage_library.html#testing-the-distribution-in-virtual-environments-with-tox

[dimpase]

I am getting

...
[sagemath_objects-10.1.beta3] ERROR: Could not find a version that satisfies the requirement sage-setup~=10.1b3
[sagemath_objects-10.1.beta3] ERROR: No matching distribution found for sage-setup~=10.1b3
[sagemath_objects-10.1.beta3]
... 

while running make sagemath_flint

[mkoeppe]

Try make wheels first.

[mkoeppe]

(That's documented in the current beta's documentation: https://sagemath-tobias.netlify.app/developer/packaging_sage_library.html#testing-the-distribution-in-virtual-environments-with-tox)

[dimpase]

why doesn't the target sagemath_flint depend on wheels ?

[dimpase]

make wheels errors out with

[sagemath_flint-10.0] gcc -shared -Wl,-O1 -Wl,-Bsymbolic-functions -Wl,-z,relro -g -fwrapv -O2 -Wl,-rpath-link,/home/dimpase/work/software/sage/local/lib -L/home/dimpase/work/software/sage/local/lib -Wl,-rpath,/home/dimpase/work/software/sage/local/lib -Wl,-rpath-link,/home/dimpase/work/software/sage/local/lib -L/home/dimpase/work/software/sage/local/lib -Wl,-rpath,/home/dimpase/work/software/sage/local/lib -g -O2 build/temp.linux-x86_64-cpython-39/build/cythonized/sage/rings/polynomial/polynomial_complex_arb.o -L/usr/lib -lflint -larb -lgmp -o build/lib.linux-x86_64-cpython-39/sage/rings/polynomial/polynomial_complex_arb.cpython-39-x86_64-linux-gnu.so -lpari
[sagemath_flint-10.0] /usr/bin/ld: cannot find -larb
[sagemath_flint-10.0] collect2: error: ld returned 1 exit status
[sagemath_flint-10.0] error: command '/usr/bin/gcc' failed with exit code 1
[sagemath_flint-10.0] 
[sagemath_flint-10.0] ERROR Backend subprocess exited when trying to invoke build_wheel

[dimpase]

The latter is most probably related to the fact that it's Debian, with SAGE_ARB_LIBRARY="flint-arb", not SAGE_ARB_LIBRARY="arb"

[mkoeppe]

Try with this commit. (Need to re-run bootstrap.)

[mkoeppe]

why doesn't the target sagemath_flint depend on wheels ?

That's a long story; there's something that I need to redesign in the relation between editable installations and normal installations. That work is best done as part of a switch of the editable installs to using PEP-660 editable wheels (#34209)

[github-actions]

Documentation preview for this PR (built with commit 0dd0300; changes) is ready! 🎉

[mkoeppe]

This has been merged into #35095