[opam-devel] opam does not uninstall menhir properly

Sébastien Hinderer Sebastien.Hinderer at inria.fr
Wed Oct 21 07:54:46 BST 2015


Hi,

Here is what happens when uninstalling menhir:

$ opam uninstall menhir
The following actions will be performed:
  ⊘  remove menhir 20151012

=-=- Processing actions -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
[menhir: ocamlfind remove] Command started
[WARNING] Directory /home/seb/.opam/4.02.1/lib/menhir is not empty, not
          removing
[WARNING] Directory /home/seb/.opam/4.02.1/doc/menhir is not empty, not
          removing
⊘  removed   menhir.20151012
Done.

The remaining files are standard.mly in
/home/seb/.opam/4.02.1/lib/menhir
and the demos directory and manual.pdf in
/home/seb/.opam/4.02.1/doc/menhir.

Given that these files have definitely been installed by Menhir, would
it be possible to fix the uninstall to also remove them? Or should this
perhaps be reported upstream?

Thanks,

Sébastien.


More information about the opam-devel mailing list