4 .PHONY: install-strip install postinstall denounce show-install-setup
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); \
15 # @echo "Finished configuring..to use, add `pwd`/bin/$(platform) to your PATH."
18 $(MAKE) INSTALL_PROGRAM='$(INSTALL_PROGRAM) -s' install
21 $(INSTALL_DIR) $(bindir)
22 $(INSTALL_DIR) $(datadir)
23 echo "[]" > $(datadir)/package.conf
26 $(MAKE) -C includes install DOING_BIN_DIST=YES
27 $(MAKE) -C utils install DOING_BIN_DIST=YES
28 $(MAKE) -C rts install DOING_BIN_DIST=YES
29 $(MAKE) -C libraries install DOING_BIN_DIST=YES
30 $(MAKE) -C libffi install DOING_BIN_DIST=YES
31 $(MAKE) -C compiler install DOING_BIN_DIST=YES
32 $(MAKE) -C ghc install DOING_BIN_DIST=YES
33 $(MAKE) -C driver install DOING_BIN_DIST=YES
34 $(MAKE) -C gmp install DOING_BIN_DIST=YES
35 $(MAKE) -C docs install-docs DOING_BIN_DIST=YES
36 $(MAKE) -C libraries/Cabal/doc install-docs DOING_BIN_DIST=YES
37 $(INSTALL_DATA) $(INSTALL_OPTS) extra-gcc-opts $(libdir)
39 install :: postinstall denounce
41 # Look to see if $(bindir) is in $(PATH). Assumes there are no funky
43 GREPPED_PATH=$(shell echo ":$(PATH):" | grep ":$(bindir):")
47 @echo =======================================================================
48 @echo Installation of $(package)-$(version) was successful.
50 ifeq "$(GREPPED_PATH)" ""
51 @echo To use, add $(bindir) to your PATH.
54 @if test -f $(htmldir)/index.html; then \
55 echo For documentation, see $(htmldir)/index.html ; \
57 echo "Warning: this binary distribution does NOT contain documentation!" ; \
59 @echo =======================================================================
62 @if test -x "./post-install-script" ; then \
63 echo "Running project-specific post-install script ..." ; \
64 ./post-install-script $(platform) $(libdir) ; \
69 @echo "Install setup..."
70 @echo "bindir = $(bindir)"
71 @echo "libdir = $(libdir) (libdir = $(libdir))"
72 @echo "datadir = $(datadir) (datadir = $(datadir))"