Re: How to set dynamic-space-size when dumping image?

Grégory Vanuxem <[email protected]> Tue, 4 Feb 2025 20:01:51 +0100
Newsgroups gmane.lisp.steel-bank.general
Message-ID <CAHnU2dbj-aHoUbD4E-BeBBbYrxjh4LfTVX7oqmr93AYvizUbmw@mail.gmail.com>
Hi,

On FriCAS we use that in the configure script to compile file before
producing a new image that works (parameters are saved):

    'GNU Common Lisp (GCL)')
       fricas_quiet_flags='-batch'
       fricas_eval_flags='-eval'
       ;;
    ECL)
       fricas_quiet_flags='-norc'
       fricas_eval_flags='-eval'
       ;;
    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 4294967296 ||
fricas_quiet_flags="--dynamic-space-size 4096 $fricas_quiet_flags"
       ;;
    'CMU Common Lisp')
       fricas_quiet_flags='-batch -nositeinit -noinit'
       fricas_eval_flags='-eval'
       ;;
    CLISP)
       fricas_quiet_flags='--quiet -norc'
       fricas_eval_flags='-x'
       ;;
    'Clozure Common Lisp')
       fricas_quiet_flags='--no-init'
       fricas_eval_flags='--eval'
       ;;
    lispworks)
       fricas_quiet_flags=
       fricas_eval_flags='-init - -siteinit - -eval'
       ;;
    *) AC_MSG_ERROR([We do not know how to build jlFriCAS with this
Lisp: $fricas_lisp]) ;;

A little augmented by me since I dynamically load and use libjulia also/

- Greg




Le mar. 4 févr. 2025 à 19:45, Robert Goldman <[email protected]> a écrit :
>
> Based on some discussion with Xach, I believe that using :save-runtime-options is supposed to cause the dynamic space to persist into the saved image, but there's a launchpad bug that suggests it does not work: https://bugs.launchpad.net/sbcl/+bug/2096995
>
> I'm not sure what :save-runtime-options is supposed to do if not save things like dynamic space size...
>
> _______________________________________________
> Sbcl-help mailing list
> [email protected]
> https://lists.sourceforge.net/lists/listinfo/sbcl-help


_______________________________________________
Sbcl-help mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/sbcl-help