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 <[email protected]> > 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 > [email protected] > http://lists.ocaml.org/listinfo/opam-devel _______________________________________________ opam-devel mailing list [email protected] http://lists.ocaml.org/listinfo/opam-devel
