Suite logicielle autour des machines d'états finis



Comment installer chaque outil ?

- Linux

Téléchargez le fichier (galaxy_x_x_x.gz par exemple), décompressez ce programme et renommez-le par :

gzip -d galaxy.gz
mv galaxy_x_x_x galaxy

Ensuite, installez le programme dans un répertoire partagé tel que : /usr/local/bin, ~/bin ... Vous aurez ├ęgalement certainement besoin de rendre ce logiciel executable:

chmod 755 galaxy

- WINDOWS XP

Téléchargez, décompressez le fichier et renommez-le (galaxy_x_x_x.zip par exemple).

Ensuite, installez le répertoire galaxy dans un répertoire partagé tel que : ``Program Files'' and remettez à jour votre variable d'environnement PATH ...


Dernière remise à jour: 1 octobre 2018