Discussion :

[St3fff]

Bonsoir,

J'essaie de compiler différentes lib tel que ocaml-ogg, cependant une erreur récurrente survient à chaque fois lorsque je fais "make all" ...

/usr/local/bin/ocamldep ogg.mli > ._bcdi/ogg.di
/bin/sh: /usr/local/bin/ocamldep: Permission denied

J'ai réinstaller les packs plusieurs fois mais sans succès. Je ne suis pas expert, et je ne vois pas du tout comment régler le problème.

Merci d'avance !

[InOCamlWeTrust]

Tu ne possèdes pas le droit d'exécuter le programme ocamldep.

Essaye de voir les droits de usr/local/bin/ocamldep grâce à un truc du genre...

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
 
$ ll /usr/local/bin | grep ocamldep

... pas très élégant ! Peut-être que ça, ça marche aussi, mais je ne sais plus...

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
 
$ ll /usr/local/bin/ocamldep

Change ensuite les droits avec chmod. Si tu ne sais pas utiliser chmod, fais chmod -h.

[St3fff]

Salut,

Si je sais bien lire les droits le CHMOD est : 755. Ce qui veut dire que j'ai le droit de l'exécuter, non ?

[Dim Me As New Idiot]

Salut,

Si je sais bien lire les droits le CHMOD est : 755. Ce qui veut dire que j'ai le droit de l'exécuter, non ?

ça dépend. Si tu es le propriétaire du fichier oui, sinon...

[St3fff]

Le propriétaire est root, cependant normalement tous les utilisateurs ont le droits d'exécuter et de lire le fichier, non ?

Je vais tester !

[Dim Me As New Idiot]

Le propriétaire est root, cependant normalement tous les utilisateurs ont le droits d'exécuter et de lire le fichier, non ?

Je vais tester !

Pas vraiment non

[St3fff]

J'ai changé le propriétaire du fichier j'ai aussi testé en chmod 777 mais rien...

755 :
7 -> Propriétaire (root)
5 -> Groupe (root)
5 -> Utilisateur (dont moi)

Pourtant je me suis crée des Makefile qui fonctionnes très bien. De plus je peux utiliser ocamldep sans problème depuis la console.

Du coup je suis un peu perdu dans tout ça

[InOCamlWeTrust]

Parles-tu dans ton dernier message du même ocamldep ? N'y en a-t-il pas un deuxième, genre dans /usr/bin ?

[Cacophrene]

Bonjour !

Que te renvoie whereis -b ocamldep ?

Cordialement,
Cacophrène

[St3fff]

Salut,

En effet il semble y en avoir un deuxième. Voici la sortie de la commande :

ocamldep: /usr/bin/ocamldep.opt /usr/bin/ocamldep /usr/local/bin/ocamldep

Cependant celui utilisé semble être : /usr/local/bin/ocamldep d'après le message d'erreur.

Les deux sont en CHMOD 755 et même en changeant les droits et le propriétaire du fichier j'ai toujours la même erreur.