installation:debian:bugs
Table des matières
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”)
gap -T -m 64M
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 :
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
Vous pourriez laisser un commentaire si vous étiez connecté.
installation/debian/bugs.txt · Dernière modification : 10/09/2021 09:17 de obado