On 10/09/2025 20:51, 'tobia...@gmx.de' via sage-devel wrote:
meson setup build
meson compile -C build doc-html
cp -r build/src/doc/html usr/share/doc/sage-$VERSION
As for example done on arch:
https://github.com/gripped/archpkgbuilds/blob/master/extra/sagemath-doc/PKGBUILD
How do you currently set SAGE_DOC at runtime in Gentoo?
A long time ago before it was a thing in sage I had made a file similar
to what is now sage/env.py.
These days, I set it at build time in the file that becomes:
sage/config.py which defines all those things that are different in
gentoo compared to some other environments.
You mention several SAGE_* variable, I have fought for several years so
that SAGE_ROOT would never be used at runtime and only be a build time
thing, I will not miss it. I also worked and got that SAGE_SRC would
just be the sage python module path at runtime by default
(prefix/lib/python-3.xx/site-packages/sage/) - it was mostly important
for doctesting.
I will not miss it either. By the way how do you run tests in the meson
setup?
Stuff that I currently set:
SAGE_SHARE = "/usr/share/sage"
SAGE_DOC = "/usr/share/doc/sagemath-doc-9999"
GAP_ROOT_PATHS = "/usr/lib64/gap;/usr/share/gap"
THEBE_DIR = "/usr/share/thebe"
JMOL_DIR = "/usr/share/sage-jmol-bin/lib"
MATHJAX_DIR = "/usr/share/mathjax"
MTXLIB = "/usr/share/meataxe"
SINGULARPATH = "/usr/share/singular"
PPLPY_DOCS = "/usr/share/doc/pplpy-0.8.10-r1/html"
THREEJS_DIR = "/usr/share/sage/threejs"
LIE_INFO_DIR = "/usr/share/lie"
MAXIMA = "maxima -l ecl"
# Names or paths of the 4ti2 executables
FOURTITWO_HILBERT = "hilbert"
FOURTITWO_MARKOV = "markov"
FOURTITWO_GRAVER = "graver"
FOURTITWO_ZSOLVE = "zsolve"
FOURTITWO_QSOLVE = "qsolve"
FOURTITWO_RAYS = "rays"
FOURTITWO_PPI = "ppi"
FOURTITWO_CIRCUITS = "circuits"
FOURTITWO_GROEBNER = "groebner"
The last group was added because debian and derivatives prefix all the
4ti2 executable with 4ti2 - which is not universal across distro,
getting rid of this fully at build time instead of having to set it
(even if automated already) would be nice.
François
--
You received this message because you are subscribed to the Google Groups
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to sage-devel+unsubscr...@googlegroups.com.
To view this discussion visit
https://groups.google.com/d/msgid/sage-devel/0088cd1a-aefc-4e59-8389-df5f5d79287a%40gmail.com.
