Directory not empty on opam re-installation.
Opened this issue · 1 comments
cristianoc commented
When some opam dependency is updated, and a reinstallation of BetterError occurs, I get the following errors:
[ERROR] The compilation of BetterErrors failed at "make install".
[WARNING] Directory /Users/cristianoc/.opam/4.02.1/lib/BetterErrors is not empty, not removing
Repro:
opam reinstall BetterErrors
Deleting lib/BetterErrors manually unblocks it.
chenglou commented
Man I think I shouldn't have gone with Oasis. It abstracts away the build system for me but I ended up not understanding it. I've encountered the same issue.
I'll look into it.