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
> > > --- 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'
> > > +       sbcl_memory_size=`echo "(princ (sb-ext:dynamic-space-size))" |
> > > $fricas_lisp $fricas_quiet_flags`
> > > +       test $sbcl_memory_size -gt 2147483647 ||
> > > fricas_quiet_flags="--dynamic-space-size 2048 $fricas_quiet_flags"
> > >         ;;
> > >      cmucl)
> > >         fricas_quiet_flags='-batch -nositeinit -noinit'
> > > 
> > > 
> > > This should work.
> > 
> > AFAICS it does not work.  Fails with defualt 2.4.3.  RSIMP is
> > compiled by 'interpsys' and 'sb-ext:dynamic-space-size' is not
> > propagated to inteprsys.
> 
> Oops, it seems that dynamic space size size is propagated, but
> that 2Gb is not enough for sbcl-2.4.3 with current trunk.

Using 3G (that is increasing number in your patch) works.

> 
> -- 
>                               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/ZhwXSsLnufSUbO7U%40fricas.org.

-- 
                              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/ZhwiN7GH5PDOSkU0%40fricas.org.

Reply via email to