installation:logiciels_particuliers
Ceci est une ancienne révision du document !
Installation de Gap
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
- 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.1428506587.txt.gz · Dernière modification : 08/04/2015 15:23 de obado