projects
/
ghc-hetmet.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
PrelInfo is now warning-free
[ghc-hetmet.git]
/
distrib
/
Makefile
diff --git
a/distrib/Makefile
b/distrib/Makefile
index
a91557e
..
bfa3b91
100644
(file)
--- a/
distrib/Makefile
+++ b/
distrib/Makefile
@@
-1,7
+1,7
@@
include Makefile-vars
include Makefile-vars
-.PHONY: install postinstall denounce show-install-setup
+.PHONY: install-strip install postinstall denounce show-install-setup
#.PHONY: in-place
# This has bitrotted:
#.PHONY: in-place
# This has bitrotted:
@@
-14,6
+14,9
@@
include Makefile-vars
# fi
# @echo "Finished configuring..to use, add `pwd`/bin/$(platform) to your PATH."
# fi
# @echo "Finished configuring..to use, add `pwd`/bin/$(platform) to your PATH."
+install-strip:
+ $(MAKE) INSTALL_PROGRAM='$(INSTALL_PROGRAM) -s' install
+
install ::
$(INSTALL_DIR) $(bindir)
install ::
$(INSTALL_DIR) $(bindir)
@@
-31,17
+34,21
@@
install::
install :: postinstall denounce
install :: postinstall denounce
+# Look to see if $(bindir) is in $(PATH). Assumes there are no funky
+# characters.
+GREPPED_PATH=$(shell echo "$(PATH)" | grep "\(^\|:\)$(bindir)\(:\|$$\)")
+
denounce:
@echo
@echo =======================================================================
@echo Installation of $(package)-$(version) was successful.
@echo
denounce:
@echo
@echo =======================================================================
@echo Installation of $(package)-$(version) was successful.
@echo
+ifneq "$(GREPPED_PATH)" ""
@echo To use, add $(bindir) to your PATH.
@echo
@echo To use, add $(bindir) to your PATH.
@echo
- @if test -f share/html/index.html; then \
+endif
+ @if test -f $(htmldir)/index.html; then \
echo For documentation, see $(htmldir)/index.html ; \
echo For documentation, see $(htmldir)/index.html ; \
- elif test -d share/html ; then \
- echo Docs can be found in $(htmldir). ; \
else \
echo "Warning: this binary distribution does NOT contain documentation!" ; \
fi
else \
echo "Warning: this binary distribution does NOT contain documentation!" ; \
fi