X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=distrib%2FMakefile;h=5dd230be44beef5b1e461510167936a50fbda26d;hb=7645ce53abc9db505a8233fd276e95e2bc52d270;hp=ae0186e66fcbec1200d5f3dc3aa0c59c75b88539;hpb=f26ce77a29d2dd870dc8af819eec8536e67d4301;p=ghc-hetmet.git

diff --git a/distrib/Makefile b/distrib/Makefile
index ae0186e6..5dd230b 100644
--- a/distrib/Makefile
+++ b/distrib/Makefile
@@ -25,6 +25,7 @@ install::
 	$(MAKE) -C utils     install      DOING_BIN_DIST=YES
 	$(MAKE) -C rts       install      DOING_BIN_DIST=YES
 	$(MAKE) -C libraries install      DOING_BIN_DIST=YES
+	$(MAKE) -C libffi    install      DOING_BIN_DIST=YES
 	$(MAKE) -C compiler  install      DOING_BIN_DIST=YES
 	$(MAKE) -C ghc       install      DOING_BIN_DIST=YES
 	$(MAKE) -C driver    install      DOING_BIN_DIST=YES
@@ -37,14 +38,14 @@ install :: postinstall denounce
 
 # Look to see if $(bindir) is in $(PATH). Assumes there are no funky
 # characters.
-GREPPED_PATH=$(shell echo "$(PATH)" | grep "\(^\|:\)$(bindir)\(:\|$$\)")
+GREPPED_PATH=$(shell echo ":$(PATH):" | grep ":$(bindir):")
 
 denounce:
 	@echo
 	@echo =======================================================================
 	@echo Installation of $(package)-$(version) was successful.
 	@echo
-ifneq "$(GREPPED_PATH)" ""
+ifeq "$(GREPPED_PATH)" ""
 	@echo To use, add $(bindir) to your PATH.
 	@echo
 endif