I try “sh validate” with profiled libraries and get

libraries/dph/ghc.mk:134: *** Cannot build profiled GHC with DPH; try deleting libraries/dph and trying again. Stop.

So I obediently remove libraries/dph, and try again.  But that fails too:

Error: libraries/dph/LICENSE doesn't exist.

Maybe you haven't done './sync-all get'? at boot line 74, <PACKAGES> line 84.

Seems a bit Catch-22 ish.  I’m not sure how to fix this.

Thanks

Simon

Microsoft Research Limited (company number 03369488) is registered in England and Wales

Registered office is at 21 Station Road, Cambridge, CB1 2FB