diff options
| author | Ian Lynagh <igloo@earth.li> | 2008-02-24 13:43:34 +0000 |
|---|---|---|
| committer | Ian Lynagh <igloo@earth.li> | 2008-02-24 13:43:34 +0000 |
| commit | a409bd50332817aef009143d1e7f56aa6e981e18 (patch) | |
| tree | 7cd12a45242de947d0eb4718b8e5646b338972e5 /distrib | |
| parent | 6f27d4f8370610ac0672378a860a078d1679a8e7 (diff) | |
| download | haskell-a409bd50332817aef009143d1e7f56aa6e981e18.tar.gz | |
FIX #1977: Check to see if $(bindir) is in the path
Before telling the user to add it, when installing a bindist, check to
see if $(bindir) is already in the path.
Diffstat (limited to 'distrib')
| -rw-r--r-- | distrib/Makefile | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/distrib/Makefile b/distrib/Makefile index a157672705..ee8fc28150 100644 --- a/distrib/Makefile +++ b/distrib/Makefile @@ -34,13 +34,19 @@ install:: 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 +ifneq "$(GREPPED_PATH)" "" @echo To use, add $(bindir) to your PATH. @echo +endif @if test -f share/html/index.html; then \ echo For documentation, see $(htmldir)/index.html ; \ elif test -d share/html ; then \ |