Remove a redundant part of distrib/Makefile's "make install"
[ghc-hetmet.git] / distrib / Makefile
1
2 include Makefile-vars
3
4 .PHONY: in-place mk-version-symlinks install
5
6 # This has bitrotted:
7 #in-place ::
8 #       @if test -x "./post-inplace-script" ; then \
9 #               echo "Running project-specific post-inplace script ..." ; \
10 #               ./post-inplace-script $(platform) `pwd` \
11 #                       $(package)-$(version); \
12 #               echo "Done" ; \
13 #       fi
14 #       @echo "Finished configuring..to use, add `pwd`/bin/$(platform) to your PATH."
15
16 install ::
17         $(INSTALL_DIR) $(bindir)
18         (cd share; find . -type d -exec sh -c '$(INSTALL_DIR) $(datadir)/$$0' {} \; )
19
20 install::
21         $(MAKE) -C includes  install DOING_BIN_DIST=YES
22         $(MAKE) -C driver    install DOING_BIN_DIST=YES
23         $(MAKE) -C utils     install DOING_BIN_DIST=YES
24         $(MAKE) -C rts       install DOING_BIN_DIST=YES
25         $(MAKE) -C libraries install DOING_BIN_DIST=YES
26         $(MAKE) -C compiler  install DOING_BIN_DIST=YES
27         $(INSTALL_DATA) $(INSTALL_OPTS) extra-gcc-opts $(libdir)
28
29 install :: install-docs postinstall denounce
30
31 .PHONY: postinstall denounce
32
33 denounce:
34         @echo
35         @echo =======================================================================
36         @echo Installation of $(package)-$(version) was successful.
37         @echo
38         @echo To use, add $(bindir) to your PATH.
39         @echo
40         @if test -f share/html/index.html; then \
41            echo For documentation, see $(htmldir)/index.html ; \
42         elif test -d share/html ; then \
43            echo Docs can be found in $(htmldir). ; \
44         else \
45            echo "Warning: this binary distribution does NOT contain documentation!" ; \
46         fi
47         @echo =======================================================================
48
49 postinstall:
50         @if test -x "./post-install-script" ; then \
51                 echo "Running project-specific post-install script ..." ; \
52                 ./post-install-script $(platform) $(libdir) ; \
53                 echo "Done" ; \
54         fi
55
56 show-install-setup:
57         @echo "Install setup..."
58         @echo "bindir  = $(bindir)"
59         @echo "libdir  = $(libdir) (libdir  = $(libdir))"
60         @echo "datadir = $(datadir) (datadir = $(datadir))"
61
62 #
63 # Documentation targets: install-docs.
64 #
65
66 .PHONY: show-install-setup install-docs install-dirs-docs
67
68 install-docs : install-dirs-docs
69         if test -d share/html ; then $(CP) -r share/html/* $(htmldir) ; fi
70         set -e; for i in share/*.ps; do \
71                 if test -f "$$i"; then \
72                       $(CP) $$i $(psdir) ; \
73                 fi \
74         done
75
76 install-dirs-docs:
77         $(INSTALL_DIR) $(htmldir) 
78