diff options
author | Thomas Miedema <thomasmiedema@gmail.com> | 2015-08-15 17:45:57 +0200 |
---|---|---|
committer | Thomas Miedema <thomasmiedema@gmail.com> | 2015-09-04 16:01:06 +0200 |
commit | 64761ce9a899954a12d8e3ae8b400c5ad9648137 (patch) | |
tree | fb3e5bc7645158fdcb530803d4a9ab9d09ff5e73 /Makefile | |
parent | 19c6049a3d718a3200feab644d6bbbc6b5f2e74b (diff) | |
download | haskell-64761ce9a899954a12d8e3ae8b400c5ad9648137.tar.gz |
Build system: implement `make install-strip` (#1851)
Reviewed by: bgamari
Differential Revision: https://phabricator.haskell.org/D1209
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 22 |
1 files changed, 22 insertions, 0 deletions
@@ -31,6 +31,22 @@ default: install show: $(MAKE) --no-print-directory -f ghc.mk $@ BINDIST=YES NO_INCLUDE_DEPS=YES +# Note [install-strip] +# +# install-strip is like install, but it strips the executable files while +# installing them. +# +# From http://www.gnu.org/prep/standards/html_node/Standard-Targets.html: +# +# "install-strip should not strip the executables in the build directory +# which are being copied for installation. It should only strip the copies +# that are installed. " + +.PHONY: install-strip +install-strip: + # See Note [install-strip]. + $(MAKE) --no-print-directory -f ghc.mk INSTALL_PROGRAM='$(INSTALL_PROGRAM) -s' install + else .PHONY: default @@ -65,6 +81,7 @@ endif REALGOALS=$(filter-out \ binary-dist \ binary-dist-prep \ + install-strip \ sdist sdist-ghc \ sdist-ghc-prep \ sdist-windows-tarballs \ @@ -125,6 +142,11 @@ else $(MAKE) --no-print-directory -f ghc.mk unix-binary-dist-prep endif +.PHONY: install-strip +install-strip: + # See Note [install-strip]. + $(MAKE) --no-print-directory -f ghc.mk INSTALL_PROGRAM='$(INSTALL_PROGRAM) -s' install + .PHONY: sdist sdist-ghc sdist-ghc-prep sdist-windows-tarballs sdist-windows-tarballs-prep sdist-testsuite sdist-testsuite-prep # Just running `./boot && ./configure && make sdist` should work, so skip # phase 0 and 1 and don't build any dependency files. |