Suite logicielle autour des machines d'états finis



Comment installer chaque outil ?

- Linux

Téléchargez le fichier (galaxy.gz par exemple) et décompressez ce programme par :

gzip -d galaxy.gz

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 et décompressez le fichier (galaxy.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: 19 octobre 2017