Installation de simulateur spin
Résolu
Bonjour les amis !
J'ai vraiment un souci dans l'installation du simulateur
J'ai vraiment un souci dans l'installation du simulateur
spinde promela, sous linux. Je l'ai installé, mais je n'arrive pas à exécuter la commande
spin. J'ai un message qui indique "commande invalide".
2 réponses
-
ModérateurBonjour,
1) Quelle distribution linux utilises-tu ?
2) Comment as-tu installéspin
?
Si tu es sous debian ou une distribution qui en dérive, tu peux l'installer à l'aide des commandes suivantes :
sudo apt-get update sudo apt-get install spin
La commandespin
sera alors disponible.
Bonne chance -
J'ai téléchargé le fichier spin.tar.gz et en suite j'ai décompressé ce ficher. Ce dernier je l'ai placé dans un repertoire .finalement je suis accéder dans la source de ce répertoire e j'ai tapé la commande spin hello.pml le résultat est commande introuvable
-
-
ModérateurDans ce cas, oublie ce tar.gz et suis les indications que je t'ai donné. C'est toujours mieux d'installer un logiciel via
apt-get
que via une archive. En root :
apt-get update apt-get install spin
Siapt-get
ne trouve pas lespin
, reporte-moi le contenu de/etc/apt/sources.list
.
Bonne chance
-
