Urgent SVP : Erreur "./STeP: line 44: /bin/.arch-n-opsys"
5 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
Cette action est irreversible, confirmez la suppression du commentaire ?
Signaler le commentaire
Veuillez sélectionner un problème
Nudité
Violence
Harcèlement
Fraude
Vente illégale
Discours haineux
Terrorisme
Autre
R12y
On Thu, 29 Dec 2005 06:05:49 -0800, Aniss wrote:
[bin]$ STeP ./STeP: line 44: /bin/.arch-n-opsys: Aucun fichier ou répertoire de ce type
- Ah! tiens, sur Knoppix, "." "st dans le PATH... - Il cherche /bin/.arch-n-opsys et ne le trouve pas. A mon avis il doit se trouver dans /mnt/uba1/STEP/bin, et non dans /bin.
D'après moi STep est un scrip shell que tu devrais pouvoir aisément consulter (et pourquoi pas modifier et remonter une proposition de correction...)
-- 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
On Thu, 29 Dec 2005 06:05:49 -0800, Aniss wrote:
knoppix@1[bin]$ STeP
./STeP: line 44: /bin/.arch-n-opsys: Aucun fichier ou répertoire de ce
type
- Ah! tiens, sur Knoppix, "." "st dans le PATH...
- Il cherche /bin/.arch-n-opsys et ne le trouve pas.
A mon avis il doit se trouver dans /mnt/uba1/STEP/bin, et non dans /bin.
D'après moi STep est un scrip shell que tu devrais pouvoir aisément
consulter (et pourquoi pas modifier et remonter une proposition de
correction...)
--
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
[bin]$ STeP ./STeP: line 44: /bin/.arch-n-opsys: Aucun fichier ou répertoire de ce type
- Ah! tiens, sur Knoppix, "." "st dans le PATH... - Il cherche /bin/.arch-n-opsys et ne le trouve pas. A mon avis il doit se trouver dans /mnt/uba1/STEP/bin, et non dans /bin.
D'après moi STep est un scrip shell que tu devrais pouvoir aisément consulter (et pourquoi pas modifier et remonter une proposition de correction...)
-- 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
Aniss
merci je vais essayer de changer le path, je pense que c'est ici l'erreur, je ne sais pas vraiment s'il me serait en effet possible aussi bien d'ajouter le répertoire bin dans le path merci
merci je vais essayer de changer le path, je pense que c'est ici
l'erreur, je ne sais pas vraiment s'il me serait en effet possible
aussi bien d'ajouter le répertoire bin dans le path
merci
merci je vais essayer de changer le path, je pense que c'est ici l'erreur, je ne sais pas vraiment s'il me serait en effet possible aussi bien d'ajouter le répertoire bin dans le path merci
lhabert
"Aniss" :
./STeP: line 44: /bin/.arch-n-opsys: Aucun fichier ou répertoire de ce type STeP: unable to determine architecture/operating system
Bah montre nous la ligne 44 (et les quelques unes avoisinantes) du script STeP. Ça sent le « $PLOUM/bin/.arch-n-opsys », avec la variable « PLOUM » pas définie, parce que je connais aucun OS avec un « .arch-n-opsys » dans /bin...
"Aniss" :
./STeP: line 44: /bin/.arch-n-opsys: Aucun fichier ou répertoire de ce
type
STeP: unable to determine architecture/operating system
Bah montre nous la ligne 44 (et les quelques unes avoisinantes) du script
STeP. Ça sent le « $PLOUM/bin/.arch-n-opsys », avec la variable « PLOUM »
pas définie, parce que je connais aucun OS avec un « .arch-n-opsys » dans
/bin...
./STeP: line 44: /bin/.arch-n-opsys: Aucun fichier ou répertoire de ce type STeP: unable to determine architecture/operating system
Bah montre nous la ligne 44 (et les quelques unes avoisinantes) du script STeP. Ça sent le « $PLOUM/bin/.arch-n-opsys », avec la variable « PLOUM » pas définie, parce que je connais aucun OS avec un « .arch-n-opsys » dans /bin...
R12y
On Thu, 29 Dec 2005 14:06:43 -0800, Aniss wrote:
merci je vais essayer de changer le path, je pense que c'est ici l'erreur, je ne sais pas vraiment s'il me serait en effet possible aussi bien d'ajouter le répertoire bin dans le path
Est-ce que /bin/.arch-n-opsys existe sur ton système?
-- 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
On Thu, 29 Dec 2005 14:06:43 -0800, Aniss wrote:
merci je vais essayer de changer le path, je pense que c'est ici
l'erreur, je ne sais pas vraiment s'il me serait en effet possible
aussi bien d'ajouter le répertoire bin dans le path
Est-ce que /bin/.arch-n-opsys existe sur ton système?
--
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
merci je vais essayer de changer le path, je pense que c'est ici l'erreur, je ne sais pas vraiment s'il me serait en effet possible aussi bien d'ajouter le répertoire bin dans le path
Est-ce que /bin/.arch-n-opsys existe sur ton système?
-- 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
Aniss
oui je suis en train de corriger mon script je pense que c'est exactement la configuration du script qui ne marche pas
oui je suis en train de corriger mon script je pense que c'est
exactement la configuration du script qui ne marche pas
