Comments on equality types and classes

[ghc.git] / Makefile

diff --git a/Makefile b/Makefile
index f0f864d..6be584f 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -18,6 +18,18 @@
 MAKEFLAGS += --no-builtin-rules
 .SUFFIXES:
 
+ifneq "$(filter maintainer-clean distclean clean clean_% help,$(MAKECMDGOALS))" ""
+-include mk/config.mk
+else
+include mk/config.mk
+ifeq "$(ProjectVersion)" ""
+$(error Please run ./configure first)
+endif
+endif
+
+include mk/custom-settings.mk
+
+
 ifeq "$(wildcard distrib/)" ""
 
 # We're in a bindist
@@ -31,6 +43,22 @@ default:
 install show:
        $(MAKE) --no-print-directory -f ghc.mk $@ BINDIST=YES NO_INCLUDE_DEPS=YES
 
+# Note [install-strip]
+#
+# install-strip is like install, but it strips the executable files while
+# installing them.
+#
+# From http://www.gnu.org/prep/standards/html_node/Standard-Targets.html:
+#
+#   "install-strip should not strip the executables in the build directory
+#   which are being copied for installation. It should only strip the copies
+#   that are installed. "
+
+.PHONY: install-strip
+install-strip:
+       # See Note [install-strip].
+       $(MAKE) --no-print-directory -f ghc.mk INSTALL_PROGRAM='$(INSTALL_PROGRAM) -s' install BINDIST=YES NO_INCLUDE_DEPS=YES
+
 else
 
 .PHONY: default
@@ -42,20 +70,9 @@ default : all
 help:
        @cat MAKEHELP.md
 
-ifneq "$(filter maintainer-clean distclean clean clean_% help,$(MAKECMDGOALS))" ""
--include mk/config.mk
-else
-include mk/config.mk
-ifeq "$(ProjectVersion)" ""
-$(error Please run ./configure first)
-endif
-endif
-
-include mk/custom-settings.mk
-
 # Verify that stage 0 LLVM backend isn't affected by Bug #9439 if needed
 ifeq "$(GHC_LLVM_AFFECTED_BY_9439)" "1"
-ifneq "$(findstring -fllvm,$(GhcHcOpts) $(GhcStage1HcOpts))" ""
+ifneq "$(findstring -fllvm,$(SRC_HC_OPTS) $(GhcHcOpts) $(GhcStage1HcOpts))" ""
 $(error Stage 0 compiler is affected by Bug #9439. Refusing to bootstrap with -fllvm)
 endif
 endif
@@ -65,6 +82,7 @@ endif
 REALGOALS=$(filter-out \
     binary-dist \
     binary-dist-prep \
+    install-strip \
     sdist sdist-ghc \
     sdist-ghc-prep \
     sdist-windows-tarballs \
@@ -78,10 +96,12 @@ REALGOALS=$(filter-out \
     distclean \
     maintainer-clean \
     show \
+    show! \
     echo \
     help \
     test \
     fulltest \
+    slowtest \
     fasttest \
   ,$(MAKECMDGOALS))
 
@@ -119,10 +139,15 @@ ifeq "$(mingw32_TARGET_OS)" "1"
        $(MAKE) --no-print-directory -f ghc.mk windows-binary-dist-prep
 else
        rm -f bindist-list
-       $(MAKE) --no-print-directory -f ghc.mk bindist BINDIST=YES
+       $(MAKE) --no-print-directory -f ghc.mk bindist-list BINDIST=YES
        $(MAKE) --no-print-directory -f ghc.mk unix-binary-dist-prep
 endif
 
+.PHONY: install-strip
+install-strip:
+       # See Note [install-strip].
+       $(MAKE) --no-print-directory -f ghc.mk INSTALL_PROGRAM='$(INSTALL_PROGRAM) -s' install
+
 .PHONY: sdist sdist-ghc sdist-ghc-prep sdist-windows-tarballs sdist-windows-tarballs-prep sdist-testsuite sdist-testsuite-prep
 # Just running `./boot && ./configure && make sdist` should work, so skip
 # phase 0 and 1 and don't build any dependency files.
@@ -142,6 +167,10 @@ $(filter clean_%, $(MAKECMDGOALS)) : clean_% :
 bootstrapping-files show echo:
        $(MAKE) --no-print-directory -f ghc.mk $@
 
+.PHONY: show!
+show!:
+       $(MAKE) --no-print-directory -f ghc.mk show NO_INCLUDE_PKGDATA=YES
+
 ifeq "$(darwin_TARGET_OS)" "1"
 .PHONY: framework-pkg
 framework-pkg:
@@ -154,10 +183,39 @@ endif
 
 endif
 
+# Note [validate and testsuite speed]
+#
+# There are 3 different validate and testsuite speed settings:
+# fast, normal and slow.
+#
+#                              how    how   used
+#           cd tests  config.  many   many  by
+# validate  && make   speed=   tests  ways  whom
+# =============================================================================
+# --fast    fast      2        some   1+exs Travis (to stay within time limit)
+# --normal  test      1        all    1+exs Phabricator (slow takes too long?)
+# --slow    slow      0        all    all   Nightly (slow is ok)
+#
+#           accept    1        all    1
+#
+# `--fast` and `--normal` run one default way, as well as any other ways which
+# are explicitly requested by the test using extra_ways().
+#
+# `make accept` should run all tests exactly once. There is no point in
+# accepting a test for multiple ways, since it should produce the same output
+# for all ways.
+#
+# To make sure all .stderr and .stdout files in the testsuite are never
+# out-of-date, it is useful if Phabricator, via a normal `./validate` and `make
+# test`, runs each test at least once.
 .PHONY: fasttest
 fasttest:
        $(MAKE) -C testsuite/tests CLEANUP=1 SUMMARY_FILE=../../testsuite_summary.txt fast
 
-.PHONY: fulltest test
-fulltest test:
+.PHONY: test
+test:
        $(MAKE) -C testsuite/tests CLEANUP=1 SUMMARY_FILE=../../testsuite_summary.txt
+
+.PHONY: slowtest fulltest
+slowtest fulltest:
+       $(MAKE) -C testsuite/tests CLEANUP=1 SUMMARY_FILE=../../testsuite_summary.txt slow