X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=distrib%2FMakefile-bin.in;h=431ed1fd72799ffdba62b8b97134d5a19e95c27b;hb=d89f0e2d2adf5ebce15984d08b1d00de60db6d78;hp=747a2fd27d001a1b0c5a9e1ef13673efd846c9bb;hpb=0147f8cce1d6c972de066df2da627206bb8b2e8d;p=ghc-hetmet.git

diff --git a/distrib/Makefile-bin.in b/distrib/Makefile-bin.in
index 747a2fd..431ed1f 100644
--- a/distrib/Makefile-bin.in
+++ b/distrib/Makefile-bin.in
@@ -38,15 +38,11 @@
 #     if it clashes with your reality, I guess.
 #
 #  * htmldir
-#     where to install the documentation HTML files.
-#  * dvidir
-#     where to install the DVI files.
-#  * infodir
-#     where to install the Emacs info files
-#
-# Installing the documentation is not done as part of the `install' rule, but
-# via `install-docs' (or if you want to be selective: `install-html', `install-dvi'
-# and `install-info').
+#     where to install the HTML documentation files.
+#  * pdfdir
+#     where to install the PDF documentation files.
+#  * psdir
+#     where to install the Postscript documentation files.
 #
 # For more complete instructions, consult the INSTALL file
 # that came with the bundle, and/or consult the installation
@@ -66,9 +62,9 @@ prefix      = @prefix@
 exec_prefix = @exec_prefix@
 
 # default
-infodir   = $(datadir)
-htmldir   = $(datadir)
-dvidir    = $(datadir)
+htmldir     = $(datadir)/html
+psdir       = $(datadir)
+pdfdir      = $(datadir)
 
 
 PERL        = @PerlCmd@
@@ -171,34 +167,45 @@ config-pkgs ::
 	  fi; \
 	done
 
-# Convert pwd's UNC reported path into DOS style
-# (cygwin32 only.)
-CURRENT_DIR = $(shell pwd | sed 's|^//\(.\)|\1:|' )
-
 in-place ::
-	$(MAKE) $(MFLAGS) config-pkgs bindir=$(CURRENT_DIR)/bin/$(platform) libdir=$(CURRENT_DIR)/lib/$(platform) datadir=$(CURRENT_DIR)/share
+	$(MAKE) $(MFLAGS) config-pkgs bindir=`pwd`/bin/$(platform) libdir=`pwd`/lib/$(platform) datadir=`pwd`/share
 	if test -x "./post-inplace-script" ; then \
 		echo "Running project-specific post-inplace script ..." ; \
-		./post-inplace-script $(platform) $(CURRENT_DIR) \
+		./post-inplace-script $(platform) `pwd` \
 			$(package)-$(version); \
 		echo "Done" ; \
 	fi
-	@echo "Finished configuring..to use, add $(CURRENT_DIR)/bin/$(platform) to your PATH."
+	@echo "Finished configuring..to use, add `pwd`/bin/$(platform) to your PATH."
 
 install-dirs ::
 	$(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 :: config-pkgs install-dirs install-bin install-libs install-datas postinstall
-
-.PHONY: install-bin install-libs install-datas postinstall
+install :: config-pkgs install-dirs install-bin install-libs install-datas install-docs postinstall denounce
+
+.PHONY: install-bin install-libs install-datas postinstall denounce
+
+denounce:
+	@echo
+	@echo =======================================================================
+	@echo Installation of $(package)-$(version) was successful.
+	@echo
+	@echo To use, add $(bindir) to your PATH.
+	@echo
+	@if test -f share/html/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
+	@echo =======================================================================
 
 postinstall:
-	if test -x "./post-install-script" ; then \
+	@if test -x "./post-install-script" ; then \
 		echo "Running project-specific post-install script ..." ; \
-		./post-install-script $(platform) $(prefix) \
-			$(package)-$(version); \
+		./post-install-script $(platform) $(libdir) ; \
 		echo "Done" ; \
 	fi
 
@@ -239,31 +246,17 @@ show-install-setup:
 	@echo "datadir = $(datadir) (datadir = $(datadir))"
 
 #
-# Documentation targets, install-docs for the whole lot, or
-# install-{dvi,html,info}
+# Documentation targets: install-docs.
 #
 
-.PHONY: show-install-setup install-docs install-html install-info install-dirs-dvi install-dirs-html install-dirs-info
-
-install-docs : install-html install-dvi install-info
+.PHONY: show-install-setup install-docs install-dirs-docs
 
-install-dvi: install-dirs-dvi
-	$(INSTALL_DATA) dvi/* $(dvidir)
-
-install-info: install-dirs-info
-	$(INSTALL_DATA) info/* $(infodir)
-
-install-html: install-dirs-html
-	$(CP) -r html/* $(htmldir)
-	$(CHMOD) -R $(LIB_PERMS) $(htmldir)
-#	$(INSTALL_DATA) html/* $(htmldir)
+install-docs : install-dirs-docs
+	if test -d share/html ; then $(CP) -r share/html/* $(htmldir) ; fi
+	for i in share/*.ps; do \
+		$(CP) $$i $(psdir) ; \
+	done
 
-install-dirs-html:
+install-dirs-docs:
 	$(INSTALL_DIR) $(htmldir) 
 
-install-dirs-info:
-	$(INSTALL_DIR) $(infodir) 
-
-install-dirs-dvi:
-	$(INSTALL_DIR) $(dvidir) 
-