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".
A voir également:
- Simulateur linux
- Linux reader - Télécharger - Stockage
- Simulateur de navigation maritime gratuit - Télécharger - Loisirs créatifs
- Simulateur morel - Accueil - Services en ligne
- Télécharger simulateur de peinture intérieur gratuit - Télécharger - Divers Photo & Graphisme
- Toutou linux - Télécharger - Systèmes d'exploitation
2 réponses
Bonjour,
1) Quelle distribution linux utilises-tu ?
2) Comment as-tu installé
Si tu es sous debian ou une distribution qui en dérive, tu peux l'installer à l'aide des commandes suivantes :
La commande
Bonne chance
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
spinsera 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