The description of this bug:
1. First, I found this bug on macOS, when I run the binary from
GitHub CI, which is built with X11 support. But the system
does not include any X11 libraries, because they are not installed
from homebrew yet. Start "fricas" with no options will cause the
screen to be flooded with error messages that viewman has problem
loading shared libraries.
2. So this is easily reproduced on Linux as well. Simply rename
a X11 .so file (for example /usr/lib64/libXpm.so.4) to something else
and you can reproduce this bug. (Remember to rename it back!)
Further more, running a pre-built FriCAS distribution with X11
support on a server or a container that does not have X11 libraries
will meet this bug.
====
The simpliest workaround is to use "fricas -nogr".
The relevant code is in src/sman/sman.c:
static void
start_the_graphics(void)
{
spawn_of_hell(GraphicsProgram, DoItAgain);
}
The "DoItAgain" flag causes sman to start it endlessly.
Not sure why it is designed this way. If we start with "fricas -nox",
we can start hyperdoc by ")hd", but we can not use "draw" anymore.
This should be related.
- Qian
--
You received this message because you are subscribed to the Google Groups "FriCAS -
computer algebra system" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To view this discussion on the web visit
https://groups.google.com/d/msgid/fricas-devel/bc85669f-5c36-c2b2-770c-4c6ea12e926a%40gmail.com.
