Différences

Ci-dessous, les différences entre deux révisions de la page.

--- installation:logiciels_particuliers [08/04/2015 15:23] – créée obado
+++ installation:logiciels_particuliers [10/07/2015 07:34] (Version actuelle) – [Pour accélérer l'utilisation de GAP] obado
@@ Ligne 1: / Ligne 1: @@
-===Installation de Gap===
+====== 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
+  * Faire l'installation de GAP
-- modifier le fichier gap.sh que l'on trouve par exemple dans gap4r5/bin/gap.sh
+  * 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
+  * 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===
+===== 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
-- 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
+  * Changer la commande d'exécution de GAP en rajoutant -L $(wims)/workspace