Le wiki de WIMS EDU

Cette page est en lecture seule. Vous pouvez afficher le texte source, mais ne pourrez pas le modifier. Contactez votre administrateur si vous pensez qu'il s'agit d'une erreur.

====== GAP non reconnu par WIMS ======

Il peut y avoir plusieurs cas pour lesquels la communication entre WIMS et le logiciel GAP peut 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 met 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