===== Bugs Connus =====

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

==== Gap ====
      * Pour que GAP4 soit fonctionnel, retirez le ".sh" dans sa configuration sur WIMS (sous "Logiciels périphériques")

<code bash>gap -T -m 64M</code>

==== Maxima ====
=== 5.43.2 ===
      * 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)

=== 5.21.1 ===
      * 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 : 
<code bash>
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
</code>