Commit a3b55e3d authored by Guillaume Melquiond's avatar Guillaume Melquiond

Improve installation targets (fixes issue #74).

- The install and install-lib targets no longer remove existing files
  automatically. Use uninstall instead.
- Dedicated install targets have been added: install-bin, install-data,
  install-emacs, install-bash, install-coq-tactic, install-coq,
  install-pvs, install-isabelle, install-framac.
- Dedicated uninstall targets have been added: uninstall-bin,
  uninstall-lib, uninstall-emacs, uninstall-bash, uninstall-framac.
  (Other uninstall targets are covered by plain uninstall.)
- The install target depends on all the install-* targets, except for
  install-lib.
- The install and install-lib targets now work in local mode too. In that
  case, the install target does not depend on the install-bin and
  install-data targets.
- The uninstall target depends on all the uninstall-* targets, including
  uninstall-lib. In local mode, dependencies on uninstall-bin and
  uninstall-data are ignored.
parent a31232e9
This diff is collapsed.
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment