Si vous installez votre serveur WIMS sur Debian, il est possible que certains bugs surviennent. En voici quelques-uns et comment les résoudre :

• Pour que GAP4 soit fonctionnel, retirez le “.sh” dans sa configuration sur WIMS (sous “Logiciels périphériques”)

gap -T -m 64M

• Erreur au lancement de maxima (5.43.2) fourni par apt sur Ubuntu 20.04.2

Impossible de lancer maxima depuis WIMS. Solution temporaire : remplacer la commande par défaut par

/usr/lib/maxima/5.43.2/binary-gcl/maxima -eval '(cl-user::run)'

(dans les “Logiciels périphériques” de l'administration WIMS)

• Erreur au lancement de maxima (5.21.1) fourni par apt-get sur Debian Squeeze (6)

The SGC segfault recovery test failed with memprotect_multiple_invocations, SGC disabled

Solution : utiliser une installation manuelle plutôt que le paquet apt-get, comme expliqué ci-dessous :

Procédure d'installation de Maxima sous Debian Squeeze :

apt-get install clisp
wget http://sourceforge.net/projects/maxima/files/Maxima-source/5.28.0-source/maxima-5.28.0.tar.gz
tar xzf maxima-5.28.0.tar.gz
cd maxima-5.28.0
./configure
make
make install
cd ..
rm -R maxima-5.28.0