Urgent SVP : Erreur "./STeP: line 44: /bin/.arch-n-opsys"
50 réponses
Aniss
Bonjour ,
Je suis un =E9tudiant en Mast=E8re informatique, je travaille sur la
validation de la mod=E9lisation multi formelle d'un SMA se basant sur
object-Z et les RdP, j'ai voulus utiliser le programme STeP (Stanford
Temporal Prouver) malheureusement je n'ai pas r=E9ussi =E0 l'installer
car cela me donne une erreur "unable to determine
architecture/operating system".
Merci
D=E9tails :
Version Linux : Knoppix 4.1
Les shells disponible : (j'ai essay=E9 avec le Sh)
Bash
Csh
Dash
Sash
Sh
Version de STeP utilis=E9 : 1.4.x86
trace d'ex=E9cution du programme STeP :
knoppix@1[knoppix]$ cd /mnt
knoppix@1[mnt]$ cd uba1
knoppix@1[uba1]$ cd STeP
knoppix@1[STeP]$ cd bin
knoppix@1[bin]$ STeP
./STeP: line 44: /bin/.arch-n-opsys: Aucun fichier ou r=E9pertoire de ce
type
STeP: unable to determine architecture/operating system
Bonjour , Je suis un étudiant en Mastère informatique, je travaille sur la
Ou est le troll ?
Il y en a pas, a mais, mon cher ami, vous etes hors charte.
-- http://www.unices.org Photos, humour et autres blogueries
Galkine
On Thu, 29 Dec 2005 06:07:15 -0800, Aniss wrote:
Bonjour , Je suis un étudiant en Mastère informatique, je travaille sur la validation de la modélisation multi formelle d'un SMA se basant sur object-Z et les RdP, j'ai voulus utiliser le programme STeP (Stanford Temporal Prouver) mal
Version de STeP utilisé : 1.4.x86 trace d'exécution du programme STeP : [knoppix]$ cd /mnt [mnt]$ cd uba1 [uba1]$ cd STeP [STeP]$ cd bin [bin]$ STeP ./STeP: line 44: /bin/.arch-n-opsys: Aucun fichier ou répertoire de ce type STeP: unable to determine architecture/operating system ici c'est debat
au hasard editer le fichier step remplacer /bin par /mnt/uba1/STep/bin apres avoir p-e changer les droit sur certains fichiers
On Thu, 29 Dec 2005 06:07:15 -0800, Aniss wrote:
Bonjour ,
Je suis un étudiant en Mastère informatique, je travaille sur la
validation de la modélisation multi formelle d'un SMA se basant sur
object-Z et les RdP, j'ai voulus utiliser le programme STeP (Stanford
Temporal Prouver) mal
Version de STeP utilisé : 1.4.x86
trace d'exécution du programme STeP : knoppix@1[knoppix]$ cd /mnt
knoppix@1[mnt]$ cd uba1
knoppix@1[uba1]$ cd STeP
knoppix@1[STeP]$ cd bin
knoppix@1[bin]$ STeP
./STeP: line 44: /bin/.arch-n-opsys: Aucun fichier ou répertoire de ce
type
STeP: unable to determine architecture/operating system
ici c'est debat
au hasard editer le fichier step remplacer /bin par /mnt/uba1/STep/bin
apres avoir p-e changer les droit sur certains fichiers
Bonjour , Je suis un étudiant en Mastère informatique, je travaille sur la validation de la modélisation multi formelle d'un SMA se basant sur object-Z et les RdP, j'ai voulus utiliser le programme STeP (Stanford Temporal Prouver) mal
Version de STeP utilisé : 1.4.x86 trace d'exécution du programme STeP : [knoppix]$ cd /mnt [mnt]$ cd uba1 [uba1]$ cd STeP [STeP]$ cd bin [bin]$ STeP ./STeP: line 44: /bin/.arch-n-opsys: Aucun fichier ou répertoire de ce type STeP: unable to determine architecture/operating system ici c'est debat
au hasard editer le fichier step remplacer /bin par /mnt/uba1/STep/bin apres avoir p-e changer les droit sur certains fichiers
Franck Yvonnet
Ainsi Parlait
On 2005-12-29, Aniss wrote:
Bonjour , Je suis un étudiant en Mastère informatique, je travaille sur la
Ou est le troll ?
Il y en a pas, a mais, mon cher ami, vous etes hors charte.
Ah, on est de nouveau tenus de respecter la charte ?
-- Franck Yvonnet "Are you sure that a floor cannot also be a ceiling? Are you absolutely certain that you go up when you walk up a staircase?" - M.C. Esher
Ainsi Parlait stephane@unices.org <stephane@unices.org>
On 2005-12-29, Aniss <Anis.memmi@gmail.com> wrote:
Bonjour ,
Je suis un étudiant en Mastère informatique, je travaille sur la
Ou est le troll ?
Il y en a pas, a mais, mon cher ami, vous etes hors charte.
Ah, on est de nouveau tenus de respecter la charte ?
--
Franck Yvonnet <fyvonnet@gmail.com>
"Are you sure that a floor cannot also be a ceiling? Are you absolutely
certain that you go up when you walk up a staircase?"
- M.C. Esher
Bonjour , Je suis un étudiant en Mastère informatique, je travaille sur la
Ou est le troll ?
Il y en a pas, a mais, mon cher ami, vous etes hors charte.
Ah, on est de nouveau tenus de respecter la charte ?
-- Franck Yvonnet "Are you sure that a floor cannot also be a ceiling? Are you absolutely certain that you go up when you walk up a staircase?" - M.C. Esher
Laurent
On 2005-12-29, Aniss wrote:
Bonjour , Je suis un étudiant en Mastère informatique, je travaille sur la
Ou est le troll ?
Il y en a pas, a mais, mon cher ami, vous etes hors charte.
Mais le hors charte va finir dans la charte de fcold à force, vu qu'il n'y a plus que ça ici.
La preuve, lisez mon post.
P.S: bon pour être quand même en charte : "GNU/Linux c'est _BIEN_"
-- Laurent
On 2005-12-29, Aniss <Anis.memmi@gmail.com> wrote:
Bonjour ,
Je suis un étudiant en Mastère informatique, je travaille sur la
Ou est le troll ?
Il y en a pas, a mais, mon cher ami, vous etes hors charte.
Mais le hors charte va finir dans la charte de fcold à force, vu qu'il
n'y a plus que ça ici.
La preuve, lisez mon post.
P.S: bon pour être quand même en charte : "GNU/Linux c'est _BIEN_"
Bonjour , Je suis un étudiant en Mastère informatique, je travaille sur la
Ou est le troll ?
étudiant en info et il dit qu'il travaille ?
C'est ce qu'il espère en sortant de l'école avec son diplôme. Ha les jeunes et leurs illusions...
-- Post powered by Pick and PickBasic
R12y
Je suis un étudiant en Mastère informatique, je travaille Ou est le troll ?
étudiant en info et il dit qu'il travaille ?
C'est ce qu'il espère en sortant de l'école avec son diplôme. Ha les
jeunes et leurs illusions...
Bah. Tu cherches un taf sans diplome, on te dit que c'est à cause de ça qu'on t'embauche pas.... Forcément ça incite à étudier...
-- Telephone portable "intelligent" (SmartPhone) GSM, GPRS,... Il est sous Linux, ne coute pas trop cher,... http://www.it2l.com/product_info.php?cPath&products_idE6
Je suis un étudiant en Mastère informatique, je travaille
Ou est le troll ?
étudiant en info et il dit qu'il travaille ?
C'est ce qu'il espère en sortant de l'école avec son diplôme. Ha les
jeunes et leurs illusions...
Bah. Tu cherches un taf sans diplome, on te dit que c'est à cause de ça
qu'on t'embauche pas.... Forcément ça incite à étudier...
--
Telephone portable "intelligent" (SmartPhone) GSM, GPRS,...
Il est sous Linux, ne coute pas trop cher,...
http://www.it2l.com/product_info.php?cPath&products_idE6
Je suis un étudiant en Mastère informatique, je travaille Ou est le troll ?
étudiant en info et il dit qu'il travaille ?
C'est ce qu'il espère en sortant de l'école avec son diplôme. Ha les
jeunes et leurs illusions...
Bah. Tu cherches un taf sans diplome, on te dit que c'est à cause de ça qu'on t'embauche pas.... Forcément ça incite à étudier...
-- Telephone portable "intelligent" (SmartPhone) GSM, GPRS,... Il est sous Linux, ne coute pas trop cher,... http://www.it2l.com/product_info.php?cPath&products_idE6
Patrice Karatchentzeff
Laurent writes:
[...]
C'est ce qu'il espère en sortant de l'école avec son diplôme. Ha les jeunes et leurs illusions...
D'un autre côté, il y en a qui sorte d'une école et qui croient dur comme du fer avoir un diplôme d'ingénieur...
