Join GitHub today
GitHub is home to over 36 million developers working together to host and review code, manage projects, and build software together.Sign up
no uninstall target in the Makefile #5684
Original bug ID: 5684
When there is a make install, it's useful
Comment author: @johnwhitington
If uninstalling is too delicate or difficult to maintain, one way to fix this might be to simply warn if the target directories already exist, and suggest the user delete them.
Simply overwriting what is there can lead to subtle errors, which are hard to track down. For example:
ocaml/opam#3665 (OPAM broken by new stdlib__ prefix if unprefixed files still exist in system ocaml).
ocamlfind's ./configure also can not complete with 3.07.1 installed over an older ocaml, presumably due to the same problem -- it looks for x.cmi before stdlib__x.cmi.