Installation de simulateur spin

Résolu
adoumyoussouf -  
mamiemando Messages postés 33228 Date d'inscription   Statut Modérateur Dernière intervention   -
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".

2 réponses

  1.
    mamiemando Messages postés 33228 Date d'inscription   Statut Modérateur Dernière intervention   7 942
     
    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
  2. adoumyoussouf Messages postés 2 Statut Membre
     
    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
    1. adoumyoussouf Messages postés 2 Statut Membre
       
      J'utilise distribution debian
      0
    2. mamiemando Messages postés 33228 Date d'inscription   Statut Modérateur Dernière intervention   7 942
       
      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

Discussions similaires

EXCEL - Calcul automatique de Fin de contrat et période d'essai
Laudme -
moimeme -

7 réponses
Equivalent d'ipconfig sur machine unix
yves_web -
yves_web -

2 réponses