[opam-devel] opam does not uninstall menhir properly

Anil Madhavapeddy anil at recoil.org
Wed Oct 21 21:13:02 BST 2015


Thanks -- the uninstall can be fixed in the already-released versions (by adding the `rm` lines into the `remove` field in the `opam` file), and ideally the upstream would fix the actual Makefile problem.  I'm CCing the author, Francois Pottier to this mail.

Anil

> On 20 Oct 2015, at 23:54, Sébastien Hinderer <Sebastien.Hinderer at inria.fr> wrote:
> 
> 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.
> _______________________________________________
> opam-devel mailing list
> opam-devel at lists.ocaml.org
> http://lists.ocaml.org/listinfo/opam-devel



More information about the opam-devel mailing list