You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
On virtually all Linux platforms that use the tachyon SPKG.
[sagemath_doc_html-none] [spkg-install] tachyon: error while loading shared libraries: libpng16.so.16: cannot open shared object file: No such file or directory
$ docker run -it ghcr.io/mkoeppe/sage/sage-debian-bookworm-minimal-with-targets-pre:ci-37434-38510-11 bash
Unable to find image 'ghcr.io/mkoeppe/sage/sage-debian-bookworm-minimal-with-targets-pre:ci-37434-38510-11' locally
ci-37434-38510-11: Pulling from mkoeppe/sage/sage-debian-bookworm-minimal-with-targets-pre
Digest: sha256:5445fe0ac3922499ea8a19566388d3cf4521084da240fb319755583df2e638b6
Status: Downloaded newer image for ghcr.io/mkoeppe/sage/sage-debian-bookworm-minimal-with-targets-pre:ci-37434-38510-11
root@e55f23b51528:/sage# ./sage -sh
Starting subshell with Sage environment variables set. Don't forget
to exit when you are done. Beware:
* Do not do anything with other copies of Sage on your system.
* Do not use this for installing Sage packages using "sage -i" or for
running "make" at Sage's root directory. These should be done
outside the Sage shell.
Bypassing shell configuration files...
Note: SAGE_ROOT=/sage
(sage-sh) root@e55f23b51528:sage$ tachyon
tachyon: error while loading shared libraries: libpng16.so.16: cannot open shared object file: No such file or directory
(sage-sh) root@e55f23b51528:sage$ which tachyon
/sage/local/bin/tachyon
(sage-sh) root@e55f23b51528:sage$ ldd `which tachyon`
linux-vdso.so.1 (0x00007ffdc7f3f000)
libpng16.so.16 => not found
libm.so.6 => /lib/x86_64-linux-gnu/libm.so.6 (0x00007fe088fd8000)
libmvec.so.1 => /lib/x86_64-linux-gnu/libmvec.so.1 (0x00007fe088edf000)
libc.so.6 => /lib/x86_64-linux-gnu/libc.so.6 (0x00007fe088cfe000)
/lib64/ld-linux-x86-64.so.2 (0x00007fe08913e000)
(sage-sh) root@e55f23b51528:sage$ ls /usr/lib/libpng*
ls: cannot access '/usr/lib/libpng*': No such file or directory
(sage-sh) root@e55f23b51528:sage$ ls local/lib/libpng*
local/lib/libpng.so local/lib/libpng16.so local/lib/libpng16.so.16 local/lib/libpng16.so.16.29.0
On virtually all Linux platforms that use the
tachyon
SPKG.for example Ubuntu:
The libpng upgrade in #30564 does not fix it: minimal / linux (ubuntu-noble, minimal)
The text was updated successfully, but these errors were encountered: