Define install-strip in Makefile

[ghc-hetmet.git] / Makefile

diff --git a/Makefile b/Makefile
index 519899e..c4c09f7 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -162,6 +162,9 @@ else
 INSTALL_STAGE =
 endif
 
 INSTALL_STAGE =
 endif
 

+install-strip:
+       $(MAKE) INSTALL_PROGRAM='$(INSTALL_PROGRAM) -s' install
+

 # Same as default rule, but we pass $(INSTALL_STAGE) to $(MAKE) too
 install :: check-packages
        @case '${MFLAGS}' in *-[ik]*) x_on_err=0;; *-r*[ik]*) x_on_err=0;; *) x_on_err=1;; esac; \
 # Same as default rule, but we pass $(INSTALL_STAGE) to $(MAKE) too
 install :: check-packages
        @case '${MFLAGS}' in *-[ik]*) x_on_err=0;; *-r*[ik]*) x_on_err=0;; *) x_on_err=1;; esac; \