Update Trac ticket URLs to point to GitLab
[ghc.git] / mk / flavours / validate.mk
1 SRC_HC_OPTS = -O0 -H64m
2 SRC_HC_OPTS_STAGE1 = -fllvm-fill-undef-with-garbage # See #11487
3 GhcStage1HcOpts = -O2 -DDEBUG
4 GhcStage2HcOpts = -O -dcore-lint -dno-debug-output
5 GhcLibHcOpts = -O -dcore-lint -dno-debug-output
6 BUILD_PROF_LIBS = NO
7 SplitSections = NO
8 HADDOCK_DOCS = YES
9 BUILD_SPHINX_HTML = YES
10 BUILD_SPHINX_PDF = NO
11
12 ifeq "$(ValidateHpc)" "YES"
13 GhcStage2HcOpts += -fhpc -hpcdir $(TOP)/testsuite/hpc_output/
14 endif
15
16 ifeq "$(ValidateSpeed)" "SLOW"
17 GhcStage2HcOpts += -DDEBUG
18 endif
19
20 ifeq "$(ValidateSpeed)" "SLOW"
21 BUILD_PROF_LIBS = YES
22 endif
23
24 ifneq "$(ValidateSpeed)" "FAST"
25 BUILD_EXTRA_PKGS = YES
26 endif
27
28 WERROR = -Werror
29
30 # DO NOT EDIT THIS FILE! Instead, create a file mk/validate.mk, whose settings
31 # will override these. See also mk/custom-settings.mk.
32 #
33 #
34 # (Note: these comments are at the end of this file, to make it easier to diff
35 # this file with other build flavours.)
36 #
37 #
38 # Note [validate build settings]
39 #
40 # Using GhcStage2HcOpts=-O (rather than -O0) here bringes my validate down from
41 # 22mins to 16 mins. Compiling stage2 takes longer, but we gain a faster
42 # haddock, faster running of the tests, and faster building of the utils to be
43 # installed
44 #
45 # dblatex with miktex under msys/mingw can't build the PS and PDF docs,
46 # and just building the HTML docs is sufficient to check that the
47 # markup is correct, so we turn off PS and PDF doc building when
48 # validating.
49 #
50 # We set BUILD_EXTRA_PKGS=YES to build the "extra" packages (see ./packages),
51 # so that we can test them.