X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=distrib%2FMakefile;h=bfa3b91297d3f52d1f43ccfd8e054009f7408067;hb=05535340ae496c57ff218e016da6649ca1640754;hp=ee1b962f79d00302b2c832da8ce87395ff0b2973;hpb=03243ed63f52a5f0fe0964fb2e777ffe12010ff1;p=ghc-hetmet.git diff --git a/distrib/Makefile b/distrib/Makefile index ee1b962..bfa3b91 100644 --- a/distrib/Makefile +++ b/distrib/Makefile @@ -1,8 +1,9 @@ include Makefile-vars -.PHONY: in-place mk-version-symlinks install +.PHONY: install-strip install postinstall denounce show-install-setup +#.PHONY: in-place # This has bitrotted: #in-place :: # @if test -x "./post-inplace-script" ; then \ @@ -13,34 +14,41 @@ include Makefile-vars # 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) - (cd lib/$(platform); find . -type d -exec sh -c '$(INSTALL_DIR) $$0 $(libdir)/$$0' {} \; ) - (cd share; find . -type d -exec sh -c '$(INSTALL_DIR) $(datadir)/$$0' {} \; ) install:: - $(MAKE) -C includes install DOING_BIN_DIST=YES - $(MAKE) -C driver install DOING_BIN_DIST=YES - $(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 compiler install DOING_BIN_DIST=YES + $(MAKE) -C includes install DOING_BIN_DIST=YES + $(MAKE) -C driver install DOING_BIN_DIST=YES + $(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 compiler install DOING_BIN_DIST=YES + $(MAKE) -C gmp install DOING_BIN_DIST=YES + $(MAKE) -C docs install-docs DOING_BIN_DIST=YES + $(MAKE) -C libraries/Cabal/doc install-docs DOING_BIN_DIST=YES + $(INSTALL_DATA) $(INSTALL_OPTS) extra-gcc-opts $(libdir) -install :: install-docs postinstall denounce +install :: postinstall denounce -.PHONY: 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 - @if test -f share/html/index.html; then \ +endif + @if test -f $(htmldir)/index.html; then \ 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 @@ -59,20 +67,3 @@ show-install-setup: @echo "libdir = $(libdir) (libdir = $(libdir))" @echo "datadir = $(datadir) (datadir = $(datadir))" -# -# Documentation targets: install-docs. -# - -.PHONY: show-install-setup install-docs install-dirs-docs - -install-docs : install-dirs-docs - if test -d share/html ; then $(CP) -r share/html/* $(htmldir) ; fi - set -e; for i in share/*.ps; do \ - if test -f "$$i"; then \ - $(CP) $$i $(psdir) ; \ - fi \ - done - -install-dirs-docs: - $(INSTALL_DIR) $(htmldir) -