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

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 :

  • 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: 02/05/2018 16:53 par obado