X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=mk%2Fvalidate-settings.mk;h=b45884752e323e613af8fd3cea4499cbf4b0470b;hb=64557b454b1a184ef9ee177806a05b75c79c0eb6;hp=9e19105c245650698ca030710b8bec64a661d09b;hpb=a1c83798b09fb3bd75577dad4447f4dc51ff1879;p=ghc-hetmet.git

diff --git a/mk/validate-settings.mk b/mk/validate-settings.mk
index 9e19105..b458847 100644
--- a/mk/validate-settings.mk
+++ b/mk/validate-settings.mk
@@ -22,6 +22,9 @@ STRIP_CMD       = :
 
 CHECK_PACKAGES = YES
 
+# We want to install DPH when validating, so that we can test it
+InstallExtraPackages = 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