Menu

Installation de simulateur spin [Résolu]

-
Bonjour les amis !

J'ai vraiment un souci dans l'installation du simulateur
spin
de 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".
Afficher la suite 

Votre réponse

2 réponses

Messages postés
28698
Date d'inscription
jeudi 12 mai 2005
Statut
Modérateur
Dernière intervention
23 janvier 2019
7961
0
Merci
Bonjour,

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 commande
spin
sera alors disponible.

Bonne chance
Commenter la réponse de mamiemando
Messages postés
2
Date d'inscription
jeudi 3 janvier 2019
Dernière intervention
3 janvier 2019
0
Merci
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
adoumyoussouf
Messages postés
2
Date d'inscription
jeudi 3 janvier 2019
Dernière intervention
3 janvier 2019
-
J'utilise distribution debian
mamiemando
Messages postés
28698
Date d'inscription
jeudi 12 mai 2005
Statut
Modérateur
Dernière intervention
23 janvier 2019
7961 -
Dans 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


Si
apt-get
ne trouve pas le
spin
, reporte-moi le contenu de
/etc/apt/sources.list
.

Bonne chance
Commenter la réponse de adoumyoussouf