On Tue, Nov 28, 2023 at 11:20:20PM +0700, Andrey G. Grozin wrote: > On Sun, 26 Nov 2023, Qian Yun wrote: > > I can confirm your error. I was building successfully with > > 1.3.9 tarball. > Thanks. Indeed, 1.3.9 with your 1-line fix builds successfully: > > ./comfigure --prefix=$PREFIX --with-lisp=sbcl > make > make install > > succeeds. Then > > ~ $ fricas > ... > sh: can't create /tmp/socks.11257: No such file or directory > ... > Fatal error opening I/O socket > > Indeed, there is no /tmp. Is it possible to convince fricas to use > $PREFIX/tmp instead of /tmp?
ATM no way, '/tmp' is hardcoded. IIUC standard way is to use value of $TMPDIR as directory for temporary files. We can implement this. Does Android set TMPDIR to sensible value? Or can you set it? -- Waldek Hebisch -- 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 fricas-devel+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/fricas-devel/ZWZ0si-8M3ncSlE9%40fricas.org.