Répondre à : Probleme utilisation maxima

Accueil Forums Gestion d’un serveur WIMS Installation d’un serveur WIMS Probleme utilisation maxima Répondre à : Probleme utilisation maxima

#3532
declieu69
Participant
Up
0
Down
::

Effectivement, c’est bien clisp qui n’accepte pas l’argument ‘–dynamic-space-size 512’ quand je tente de lancer maxima avec les arguments par défaut (maxima -X ‘–dynamic-space-size 512’) directement en console. Si je supprime juste ‘–dynamic-space-size 512’ maxima semble opérationnel (en console et avec wims). L’argument ‘–dynamic-space-size 512’ est-il indispensable ou juste très fortement conseillé au cas où …?

Thomas Charon
Lycée Lumière à Lyon