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 !


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