Re: [fricas-devel] default arguments to sbcl, again

2024-04-14 Thread Waldek Hebisch
On Sun, Apr 14, 2024 at 07:50:02PM +0200, Waldek Hebisch wrote: > On Sun, Apr 14, 2024 at 06:31:11PM +0200, Waldek Hebisch wrote: > > On Sun, Apr 14, 2024 at 11:03:36AM +0800, Qian Yun wrote: > > > diff --git a/configure.ac b/configure.ac > > > index 073f3e96..0c66c8de 100644 > > > ---

Re: [fricas-devel] default arguments to sbcl, again

2024-04-14 Thread Waldek Hebisch
On Sun, Apr 14, 2024 at 06:31:11PM +0200, Waldek Hebisch wrote: > On Sun, Apr 14, 2024 at 11:03:36AM +0800, Qian Yun wrote: > > diff --git a/configure.ac b/configure.ac > > index 073f3e96..0c66c8de 100644 > > --- a/configure.ac > > +++ b/configure.ac > > @@ -452,6 +452,8 @@ case

Re: [fricas-devel] default arguments to sbcl, again

2024-04-14 Thread Waldek Hebisch
On Sun, Apr 14, 2024 at 11:03:36AM +0800, Qian Yun wrote: > diff --git a/configure.ac b/configure.ac > index 073f3e96..0c66c8de 100644 > --- a/configure.ac > +++ b/configure.ac > @@ -452,6 +452,8 @@ case $fricas_lisp_flavor in > sbcl) > fricas_quiet_flags='--noinform --noprint

Re: [fricas-devel] default arguments to sbcl, again

2024-04-13 Thread Qian Yun
diff --git a/configure.ac b/configure.ac index 073f3e96..0c66c8de 100644 --- a/configure.ac +++ b/configure.ac @@ -452,6 +452,8 @@ case $fricas_lisp_flavor in sbcl) fricas_quiet_flags='--noinform --noprint --no-sysinit --no-userinit' fricas_eval_flags='--eval' +

Re: [fricas-devel] default arguments to sbcl, again

2024-04-13 Thread Waldek Hebisch
On Fri, Apr 12, 2024 at 06:25:26PM +0800, Qian Yun wrote: > We have discussed this before, namely the default dynamic-space-size > is not enough during build. > > Recently there is a github issue hitting by this on freebsd. > > I get hit by this issue a few times as well, because the default >

[fricas-devel] default arguments to sbcl, again

2024-04-12 Thread Qian Yun
We have discussed this before, namely the default dynamic-space-size is not enough during build. Recently there is a github issue hitting by this on freebsd. I get hit by this issue a few times as well, because the default "./configure" no longer works and sometimes I forget to use './configure