 Le 26 Oct 2008 21:52
hiba
Informaticien
Inscrit le: 05 Nov 2007
Messages: 1764
|
| Installer spin et cygwin quelqu'un a une idée? |
|
|
Salut tout le monde, j'ai un petit problème "technique", si vous vous connaissez la solution, merci de m'apporter de l'aide.
En fait je dois travailler (écrire et vérifier) sur des programmes écris en promela (c'est un langage de programmation d'algorithmes parallèles et de protocoles de communication), alors je dois l'installer et le tester dans les environnement Windows et unix. Pour l'installer dans un environnement Windows j'ai commencé d'abord par installer l'outil cygwin (un simulateur du shell de unix sous Windws), et puis j'ai installé spin.
Alors j'ai écrit mes programmes (des fichiers *.spin) et je les ai pré_compilé (avec la commande "spin") mais seulement la compilation (langage C) avec la commande "cc" ne marche pas, je ne sais plus comment faire pour préparer mon environnement(cygwin + spin), savez-vous comment faire?
Merci d'avance. |
|
|
| |
 |
Le 26 Oct 2008 22:05
sara
Informaticien
Inscrit le: 03 Déc 2007
Messages: 2223
|
| Installer spin et cygwin quelqu'un a une idée? |
|
|
| J'ai entendu parler de cygwin qui nous permet de travailler "unix" sur Linux, mais promela et spin ça c'est nouveau pour moi personnellement, j'espère que tu arrive à trouver une solution hiba et à avancer dans ton travail. Bonne chance. |
|
|
| |
|
Le 26 Oct 2008 22:09
sesame
Informaticien
Inscrit le: 29 Nov 2007
Messages: 1201
|
| Installer spin et cygwin quelqu'un a une idée? |
|
|
| Promela, sara, permet de faire une spécification formelle des protocoles de communication et pour les vérifier, les tester et les valider. et spin est l'outil qui permet de "compiler" les programmes écrits en promela, voilà j'espère que t'as une meilleure idée comme ça. |
|
|
| |
|
Le 26 Oct 2008 22:11
sesame
Informaticien
Inscrit le: 29 Nov 2007
Messages: 1201
|
| Installer spin et cygwin quelqu'un a une idée? |
|
|
| hiba, pour réussir à compiler tes programmes spin avec la commande "cc", essaie d'installer le package gcc pour cygwin (avec le setup de cygwin). |
|
|
| |
|
Le 27 Oct 2008 22:07
sara
Informaticien
Inscrit le: 03 Déc 2007
Messages: 2223
|
| Installer spin et cygwin quelqu'un a une idée? |
|
|
| sesame a écrit: | | Promela, sara, permet de faire une spécification formelle des protocoles de communication et pour les vérifier, les tester et les valider. et spin est l'outil qui permet de "compiler" les programmes écrits en promela, voilà j'espère que t'as une meilleure idée comme ça. |
Merci sesame c'est clair, mais est-ce qu'on développe des programmes de spécification de protocoles dans les SSII (chez les clients des SSII)? Personnellement je n'ai jamais entendu parler de ce genre de programmes dans ma SSII. |
|
|
| |
|
Le 27 Oct 2008 23:14
hiba
Informaticien
Inscrit le: 05 Nov 2007
Messages: 1764
|
| Installer spin et cygwin quelqu'un a une idée? |
|
|
| Oui sara, dans notre travail on utilise tous les outils et les langages sans exception, en fait pour promela j'ai besoin de tester des programmes parallèles avec ce langage, qu'on utilise aussi pour spécifier les protocoles de communications. |
|
|
| |
|
Le 28 Oct 2008 00:03
joel
Informaticien
Inscrit le: 18 Mar 2008
Messages: 1489
|
| Installer spin et cygwin quelqu'un a une idée? |
|
|
| sara a écrit: | | sesame a écrit: | | Promela, sara, permet de faire une spécification formelle des protocoles de communication et pour les vérifier, les tester et les valider. et spin est l'outil qui permet de "compiler" les programmes écrits en promela, voilà j'espère que t'as une meilleure idée comme ça. |
Merci sesame c'est clair, mais est-ce qu'on développe des programmes de spécification de protocoles dans les SSII (chez les clients des SSII)? Personnellement je n'ai jamais entendu parler de ce genre de programmes dans ma SSII. |
Ce qu'on développe en tant qu'informaticiens travaillant dans les SSII dépend de ce que les clients de celles-ci demandent, bien qu'en général on ne fait pas des programmes de communications, mais aucune technique n'est exclue dans notre travail. |
|
|
| |
|
Le 28 Oct 2008 22:29
sesame
Informaticien
Inscrit le: 29 Nov 2007
Messages: 1201
|
| Installer spin et cygwin quelqu'un a une idée? |
|
|
| hiba a écrit: | | Oui sara, dans notre travail on utilise tous les outils et les langages sans exception, en fait pour promela j'ai besoin de tester des programmes parallèles avec ce langage, qu'on utilise aussi pour spécifier les protocoles de communications. |
Mais est-ce que tu es arrivée hiba, finallement, à installer spin? |
|
|
| |
|
Le 28 Oct 2008 23:39
hiba
Informaticien
Inscrit le: 05 Nov 2007
Messages: 1764
|
| Installer spin et cygwin quelqu'un a une idée? |
|
|
| Non sesame malheureusement, je dois faire une installation de spin et réussir à écrire certaines spécifications mais le temps passe et j'ai pas réussi à avancer malgré mes recherches et votre aide aussi. |
|
|
| |
|
Le 28 Oct 2008 23:54
marseillais
Informaticien
Inscrit le: 14 Déc 2007
Messages: 1062
|
| Installer spin et cygwin quelqu'un a une idée? |
|
|
| Je crois hiba que pour réussir à installer spin sur une plateforme Windows avec bien sûr cygwin, il faut que tu modifie certaines variables d'environnements du système (malheureusement je ne sais plus lesquelles exactement). |
|
|
| |
|
Le 29 Oct 2008 22:46
hiba
Informaticien
Inscrit le: 05 Nov 2007
Messages: 1764
|
| Installer spin et cygwin quelqu'un a une idée? |
|
|
| J'ai lu cela quelque part marseillais, il s'agit d'ajouter le chemin de cygwin parmi les Path reconnus par Windows, j'ai fait cette modification mais ça ne marche pas toujours. |
|
|
| |
|
Emploi dans les ssii en 2009
Charte de confiance
