You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Original bug ID: 5684 Reporter: berenger Status: confirmed (set by @damiendoligez on 2012-07-17T12:48:44Z) Resolution: open Priority: high Severity: feature Platform: all OS: unix-like OS Version: all Version: 4.00.0+beta2/+rc1 Target version: undecided Category: configure and build/install Monitored by:@hcarty
Bug description
Hi,
When there is a make install, it's useful
to also have a make uninstall.
Thanks,
F.
The text was updated successfully, but these errors were encountered:
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.
This issue has been open one year with no activity. Consequently, it is being marked with the "stale" label. What this means is that the issue will be automatically closed in 30 days unless more comments are added or the "stale" label is removed. Comments that provide new information on the issue are especially welcome: is it still reproducible? did it appear in other contexts? how critical is it? etc.
Original bug ID: 5684
Reporter: berenger
Status: confirmed (set by @damiendoligez on 2012-07-17T12:48:44Z)
Resolution: open
Priority: high
Severity: feature
Platform: all
OS: unix-like
OS Version: all
Version: 4.00.0+beta2/+rc1
Target version: undecided
Category: configure and build/install
Monitored by: @hcarty
Bug description
Hi,
When there is a make install, it's useful
to also have a make uninstall.
Thanks,
F.
The text was updated successfully, but these errors were encountered: