Define install-strip in distrib/Makefile
[ghc.git] / distrib / Makefile
1
2 include Makefile-vars
3
4 .PHONY: install-strip install postinstall denounce show-install-setup
5
6 #.PHONY: in-place
7 # This has bitrotted:
8 #in-place ::
9 # @if test -x "./post-inplace-script" ; then \
10 # echo "Running project-specific post-inplace script ..." ; \
11 # ./post-inplace-script $(platform) `pwd` \
12 # $(package)-$(version); \
13 # echo "Done" ; \
14 # fi
15 # @echo "Finished configuring..to use, add `pwd`/bin/$(platform) to your PATH."
16
17 install-strip:
18 $(MAKE) INSTALL_PROGRAM='$(INSTALL_PROGRAM) -s' install
19
20 install ::
21 $(INSTALL_DIR) $(bindir)
22
23 install::
24 $(MAKE) -C includes install DOING_BIN_DIST=YES
25 $(MAKE) -C driver install DOING_BIN_DIST=YES
26 $(MAKE) -C utils install DOING_BIN_DIST=YES
27 $(MAKE) -C rts install DOING_BIN_DIST=YES
28 $(MAKE) -C libraries install DOING_BIN_DIST=YES
29 $(MAKE) -C compiler install DOING_BIN_DIST=YES
30 $(MAKE) -C gmp install DOING_BIN_DIST=YES
31 $(MAKE) -C docs install-docs DOING_BIN_DIST=YES
32 $(MAKE) -C libraries/Cabal/doc install-docs DOING_BIN_DIST=YES
33 $(INSTALL_DATA) $(INSTALL_OPTS) extra-gcc-opts $(libdir)
34
35 install :: postinstall denounce
36
37 denounce:
38 @echo
39 @echo =======================================================================
40 @echo Installation of $(package)-$(version) was successful.
41 @echo
42 @echo To use, add $(bindir) to your PATH.
43 @echo
44 @if test -f share/html/index.html; then \
45 echo For documentation, see $(htmldir)/index.html ; \
46 elif test -d share/html ; then \
47 echo Docs can be found in $(htmldir). ; \
48 else \
49 echo "Warning: this binary distribution does NOT contain documentation!" ; \
50 fi
51 @echo =======================================================================
52
53 postinstall:
54 @if test -x "./post-install-script" ; then \
55 echo "Running project-specific post-install script ..." ; \
56 ./post-install-script $(platform) $(libdir) ; \
57 echo "Done" ; \
58 fi
59
60 show-install-setup:
61 @echo "Install setup..."
62 @echo "bindir = $(bindir)"
63 @echo "libdir = $(libdir) (libdir = $(libdir))"
64 @echo "datadir = $(datadir) (datadir = $(datadir))"
65