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 [email protected].
To view this discussion on the web visit
https://groups.google.com/d/msgid/fricas-devel/ZWZ0si-8M3ncSlE9%40fricas.org.
