Good to document this in our building guide somewhere. https://ghc.haskell.org/trac/ghc/wiki/Building/Using perhaps Simon | -----Original Message----- | From: ghc-devs [mailto:ghc-devs-bounces@haskell.org] On Behalf Of | Herbert Valerio Riedel | Sent: 01 July 2014 10:19 | To: Jan Stolarek | Cc: ghc-devs@haskell.org | Subject: DPH-setting in mk/build.mk (was: HEADS-UP: Git submodule | conversion imminent) | | On 2014-06-30 at 08:45:57 +0200, Jan Stolarek wrote: | > Herbert, all, | > | > I just pulled the new HEAD and have a question which I believe was not | > addressed so far. In my work on the GHC tree I never pulled the dph | > subrepo because the only thing it adds for me is extra build time (of | > course I pull it for my validation tree because I have no choice). Now | > it seems that getting rid of dph is not that simple. If I `rm -df | > libraries/dph` then it gets restored after `./sync-all pull`. Running | > `rm -df libraries/dph/*` seems to prevent that but I imagine there | > will be problems if the dph submodule actually gets modified and I try | > to pull the latest version. Moreover in both cases `git status` lists | the submodule content as modified, which I see as noise. So is there a | good way of removing dph from the source tree? | | You probably haven't seen | | | http://git.haskell.org/ghc.git/commit/88d85aa65ea15d984bf207f82d99928eda | 0b6c26 | | yet, which now provides a way to disable DPH via mk/build.mk | | | It may be worth considering setting BUILD_DPH=NO in some of the quick- | build templates in mk/build.mk, but I didn't want to change anything w/o | discussion here first. | _______________________________________________ | ghc-devs mailing list | ghc-devs@haskell.org | http://www.haskell.org/mailman/listinfo/ghc-devs