summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorThomas Miedema <thomasmiedema@gmail.com>2015-08-15 17:45:57 +0200
committerThomas Miedema <thomasmiedema@gmail.com>2015-09-04 16:01:06 +0200
commit64761ce9a899954a12d8e3ae8b400c5ad9648137 (patch)
treefb3e5bc7645158fdcb530803d4a9ab9d09ff5e73 /Makefile
parent19c6049a3d718a3200feab644d6bbbc6b5f2e74b (diff)
downloadhaskell-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--Makefile22
1 files changed, 22 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index e6a1bc5b02..217205ccba 100644
--- a/Makefile
+++ b/Makefile
@@ -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.