Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

make world échoue : liens symboliques à effacer #4211

Closed
vicuna opened this issue Feb 19, 2007 · 0 comments
Closed

make world échoue : liens symboliques à effacer #4211

vicuna opened this issue Feb 19, 2007 · 0 comments

Comments

@vicuna
Copy link

vicuna commented Feb 19, 2007

Original bug ID: 4211
Reporter: kerneis
Assigned to: ertai
Status: closed (set by ertai on 2007-02-22T16:18:46Z)
Resolution: unable to duplicate
Priority: normal
Severity: block
Version: 3.10+dev
Category: configure and build/install
Monitored by: kerneis ertai

Bug description

Bonjour,

j'ai compilé la version 3.10+dev22 sans problème. Après mise à jour du
CVS (pour la 3.10+dev24), j'ai rencontré deux erreurs lors du make
world.opt. Je ne me rappelle plus des messages exacts (ils n'ont pas
été loggués) mais il s'agissait à chaque d'une erreur du type :
cp fichier_a fichier_b

Erreur : fichier_a et fichier_b identifient le même fichier.
L'un des deux étant un lien symbolique vers l'autre.

Pour résoudre le problème, j'ai été amené à supprimer les fichiers
suivants (après chacun des messages) :
ocaml/boot/ocamlrun
puis au second message d'erreur :
ocaml/_build/boot/ocaml(c|dep|lex)
(sauf erreur de ma part - je sais qu'il s'agissait de trois fichiers en
ocaml* dans le répertoire en question, mais ne suis pas sûr desquels)

Il ne s'agissait pas d'un problème de make clean, car j'ai essayé de
supprimer complètement l'arborescence et de repartir avec d'un cvs
checkout propre (après avoir désinstallé la version précédent) : le
problème perdurait.

En espérant que cela vous aidera à corriger le bug.

Additional information

Je n'arrive pas à reproduire le problème. Cependant cela vient sûrement d'un mélange entre les deux modes de constructions (make world.opt vs ./build/fastworld.sh).

À savoir que pour passer d'un mode à l'autre l'opération conseillé est :

$ make clean
$ ./build/distclean.sh

Note : le ./configure est à refaire suite à un ./build/distclean.sh

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

1 participant