search

ocaml / opam

opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.
https://opam.ocaml.org
Other
1.24k stars 359 forks source link

Several errors related to rmdir and non-empty directories #553

Closed protz closed 11 years ago

protz commented 11 years ago

Trying to install ocamlnet or why3 (which is outdated btw, any chance for an upgraded package?), I'm getting errors such as:

==== ERROR [while recompiling ocamlnet.3.6.0] ====
Internal error:
  Cannot remove /home/jonathan/.opam/4.00.1/build/ocamlnet.3.6.0/src/equeue-gtk2 (opam: "rmdir" failed on /home/jonathan/.opam/4.00.1/build/ocamlnet.3.6.0/src/equeue-gtk2: Directory not empty).
'opam install lablgtk' failed.
avsm commented 11 years ago

Are you on the latest version of OPAM?

On 22 Mar 2013, at 10:02, Jonathan Protzenko notifications@github.com wrote:

Trying to install ocamlnet or why3 (which is outdated btw, any chance for an upgraded package?), I'm getting errors such as:

==== ERROR [while recompiling ocamlnet.3.6.0] ==== Internal error: Cannot remove /home/jonathan/.opam/4.00.1/build/ocamlnet.3.6.0/src/equeue-gtk2 (opam: "rmdir" failed on /home/jonathan/.opam/4.00.1/build/ocamlnet.3.6.0/src/equeue-gtk2: Directory not empty). 'opam install lablgtk' failed. — Reply to this email directly or view it on GitHub.

protz commented 11 years ago

Yes.

protz commented 11 years ago

(I'm recompiling opam right now just to make sure, but I was already on tag "latest").

protz commented 11 years ago 
==== ERROR [while installing why3.0.73] ====
Internal error:
  Cannot remove /home/jonathan/.opam/4.00.1/build/why3.0.73/share (opam: "rmdir" failed on /home/jonathan/.opam/4.00.1/build/why3.0.73/share: Directory not empty).
'opam install why3' failed
samoht commented 11 years ago

Are you tags up-to-date ? (it usually not a good idea to checkout latest as this tag is meant to change regularly: checkout master or 1.0.0 instead).

protz commented 11 years ago

I just recompiled from master, and the error related to ocamlnet went away. Let me check if I can get why3 to compile (this may be related to my recompiling lablgtk properly with the sourceview thing).

protz commented 11 years ago

why3 seems to compile as well, sorry for the noise, I'm still not understanding what happened...

samoht commented 11 years ago

I'm changing the latest tag every time I do a new release. So be sure to use git pull --tags to get an up-to-date latest (yes I know, this can be confusing, but that's an easy solution to always have https://github.com/OCamlPro/opam/archive/latest.tar.gz up-to-date). Anyway, it's usually better to never use that tag directly.