Add BUILD_DPH variable to GHC build-system
authorHerbert Valerio Riedel <hvr@gnu.org>
Sat, 28 Jun 2014 18:23:48 +0000 (20:23 +0200)
committerHerbert Valerio Riedel <hvr@gnu.org>
Sun, 29 Jun 2014 06:57:06 +0000 (08:57 +0200)
commit88d85aa65ea15d984bf207f82d99928eda0b6c26
tree5fc62bef4111e8840a49d8eeaafada91681f6dc6
parent767b9ddf7d2ea2bb99d49372c79be129fc2058ce
Add BUILD_DPH variable to GHC build-system

Now that the `libraries/dph` submodule is checked out always we need
a different way to disable building DPH to save compile-time while
developing GHC.

This commit adds a new YES/NO Make variable `BUILD_DPH` that can be used
inside mk/build.mk to control whether to build libraries/dph or not.
The default setting is `BUILD_DPH=YES` (via `mk/config.mk.in`).

This also changes `validate`'s flag `--no-dph` to explicitly disable DPH
for the current validation run.

Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
Test Plan: successful validates with `--fast --no-dph`

Differential Revision: https://phabricator.haskell.org/D31
ghc.mk
mk/build.mk.sample
mk/config.mk.in
validate