Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

no uninstall target in the Makefile #5684

Closed
vicuna opened this issue Jul 13, 2012 · 3 comments
Closed

no uninstall target in the Makefile #5684

vicuna opened this issue Jul 13, 2012 · 3 comments

Comments

@vicuna
Copy link

vicuna commented Jul 13, 2012

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.

@vicuna
Copy link
Author

vicuna commented Nov 13, 2018

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.

@github-actions
Copy link

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.

@nojb
Copy link
Contributor

nojb commented Jun 22, 2020

For the record, the stdlib__ issue was fixed #1724

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

2 participants