Le wiki de WIMS EDU

L'association WIMS EDU a ouvert ce wiki afin de favoriser les collaborations entre utilisateurs de WIMS.

Outils pour utilisateurs

Outils du site


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