L'installation de gred pour Windoze ou pour MacOS sera décrite ultérieurement. En cas de besoin spécifique, contacter diam@ensta.fr L'installation est conçue pour etre reduite au minimum sous UNIX (recherche automatique du répertoire d'installation avec suivi récursive des liens, ...), localisation automatique de la librairie PIST, ...
Sous UNIX, aucune modification de fichier n'est nécessaire si les conditions suivantes sont respectées :
Une installation classique consiste à créer un lien "gred" qui pointe vers le script physique. Ce lien peut etre situé n'importe ou dans votre PATH.
Personnellement, j'utilise une double indirection par le jeu de liens suivants en vue de faciliter les mise à jour de version de version :
Distribution de gred en cours d'utilisation : /usr/local/lib/gred-v0.13/
Lien dans /usr/local/lei/bin :
Lien dans /usr/local/lei/lib :
/usr/local/pack/gred/ --> ./gred-v0.14/
/usr/local/lei/bin/gred* --> ../lib/gred/bin/gred*
/usr/local/pack/gred_old/ --> ./gred-v0.13/
/usr/local/pack/gred_new/ --> ./gred-v0.15/
gred ?-g <geometry>?
Gred prend en parametre :
#!/bin/sh # the next line restarts using wish \\ exec wish8.3 "$0" -- ${1+"$@"}
Une première option "--" indique à wish qu'il n'a plus d'option à
interpréter.
Une seconde option "--" indique à gred que ce qui suit n'est plus une
option de gred, mais un grafcet à ouvrir (he oui, vous pouvez appeler
votre grafcet "-g") !
-g <geometry>
: interprétée par wish
-name <nom_fenetre>
: interprétée par wish
-mode <string>
: bidon pour essayer