X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=mk%2Fvalidate-settings.mk;h=673e542bda6781965241bf81332fcbbfb4cbe109;hb=661c97c65e5fa47177502e592bb763f752b487ac;hp=b91a88e0866231862ca170225f23698f883d4f23;hpb=c80ca5708526c9aaab9344c1377404cc1cae901f;p=ghc-hetmet.git

diff --git a/mk/validate-settings.mk b/mk/validate-settings.mk
index b91a88e..673e542 100644
--- a/mk/validate-settings.mk
+++ b/mk/validate-settings.mk
@@ -5,16 +5,16 @@ WERROR          = -Werror
 
 HADDOCK_DOCS    = YES
 SRC_CC_OPTS     += -Wall $(WERROR)
-SRC_HC_OPTS     += -Wall $(WERROR) -H64m -O0 -fasm
+SRC_HC_OPTS     += -Wall $(WERROR) -H64m -O0
 
-GhcStage1HcOpts += -O -fasm
+GhcStage1HcOpts += -O
 
-GhcStage2HcOpts += -O -fasm
+GhcStage2HcOpts += -O
 # Using -O (rather than -O0) here bringes my validate down from 22mins to 16 mins.
 # Compiling stage2 takes longer, but we gain a faster haddock, faster
 # running of the tests, and faster building of the utils to be installed
 
-GhcLibHcOpts    += -O -fasm -dcore-lint
+GhcLibHcOpts    += -O -dcore-lint
 GhcLibWays     := $(filter v dyn,$(GhcLibWays))
 SplitObjs       = NO
 NoFibWays       =
@@ -22,6 +22,13 @@ STRIP           = :
 
 CHECK_PACKAGES = YES
 
+# dblatex with miktex under msys/mingw can't build the PS and PDF docs,
+# and just building the HTML docs is sufficient to check that the
+# markup is correct, so we turn off PS and PDF doc building when
+# validating.
+BUILD_DOCBOOK_PS  = NO
+BUILD_DOCBOOK_PDF = NO
+
 ifeq "$(ValidateHpc)" "YES"
 GhcStage2HcOpts += -fhpc -hpcdir $(TOP)/testsuite/hpc_output/
 endif