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:logiciels_particuliers

Ceci est une ancienne révision du document !


Gap non reconnu par WIMS

Il peux y avoir plusieurs cas pour lesquels la communication entre WIMS et le logiciel Gap peux dysfonctionner. Selon votre cas, l'une et/ou l'autre des solutions ci-dessous devrait vous aider :

Bug spécifique à Debian

Commencez par retirer le “.sh” dans la ligne de commande de gap configurée dans WIMS (interface administrateur → Logiciels périphériques)

Gap non reconnu (wims < 4.09d)

Si GAP n'est pas reconnu par WIMS, vous pouvez essayer ce qui suit (avant la version 4.09d de wims).

  • Faire l'installation de GAP
  • modifier le fichier gap.sh que l'on trouve par exemple dans gap4r5/bin/gap.sh

en ajoutant dans l'avant-dernier bloc export HOME=/nodir

  • vérifier que la commande permettant l'exécution de GAP est correcte

(interface administrateur → Logiciels périphériques)

Pour accélérer l'utilisation de GAP

Il arrive parfois que gap mettent tellement de temps à répondre que WIMS considère qu'il est absent. Suivez cette démarche pour corriger cela :

  • Lancer dans le répertoire $(wims) la commande

echo 'SaveWorkspace(“workspace”);' | $adresse_gap.sh -q -r -R >/dev/null

  • Changer la commande d'exécution de GAP en rajoutant -L $(wims)/workspace
Vous pourriez laisser un commentaire si vous étiez connecté.
installation/logiciels_particuliers.1433780697.txt.gz · Dernière modification : 08/06/2015 16:24 de obado