Installation de simulateur spin

Résolu/Fermé
adoumyoussouf - Modifié le 3 janv. 2019 à 10:22
mamiemando Messages postés 33079 Date d'inscription jeudi 12 mai 2005 Statut Modérateur Dernière intervention 23 avril 2024 - 4 janv. 2019 à 16:08
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".
A voir également:

2 réponses

mamiemando Messages postés 33079 Date d'inscription jeudi 12 mai 2005 Statut Modérateur Dernière intervention 23 avril 2024 7 749
Modifié le 3 janv. 2019 à 10:25
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
0
adoumyoussouf Messages postés 2 Date d'inscription jeudi 3 janvier 2019 Statut Membre Dernière intervention 3 janvier 2019
3 janv. 2019 à 10:35
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
0
adoumyoussouf Messages postés 2 Date d'inscription jeudi 3 janvier 2019 Statut Membre Dernière intervention 3 janvier 2019
3 janv. 2019 à 10:38
J'utilise distribution debian
0
mamiemando Messages postés 33079 Date d'inscription jeudi 12 mai 2005 Statut Modérateur Dernière intervention 23 avril 2024 7 749
Modifié le 4 janv. 2019 à 16:08
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
0