diff options
| author | John Wiegley <johnw@newartisans.com> | 2015-04-10 14:13:36 -0500 |
|---|---|---|
| committer | John Wiegley <johnw@newartisans.com> | 2015-04-10 14:13:54 -0500 |
| commit | 86bead829a9adea886bb688de6f2e11c3afa7e55 (patch) | |
| tree | 808b35fe4abbcbd34adf15bc875b3156fc369a43 /pkgs/development/coq-modules/bedrock | |
| parent | 4dc215baedca3b45cf61101088dbf8100799dc05 (diff) | |
bedrock: Don't bulid Cito without the platform
Diffstat (limited to 'pkgs/development/coq-modules/bedrock')
| -rw-r--r-- | pkgs/development/coq-modules/bedrock/default.nix | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/pkgs/development/coq-modules/bedrock/default.nix b/pkgs/development/coq-modules/bedrock/default.nix index 7aadead54281..478f74058bdf 100644 --- a/pkgs/development/coq-modules/bedrock/default.nix +++ b/pkgs/development/coq-modules/bedrock/default.nix @@ -15,12 +15,15 @@ stdenv.mkDerivation rec { enableParallelBuilding = true; - buildFlags = "cito"; + buildPhase = '' + make -j$NIX_BUILD_CORES -C src/reification + make -j$NIX_BUILD_CORES -C src + ''; installPhase = '' COQLIB=$out/lib/coq/${coq.coq-version}/ mkdir -p $COQLIB/user-contrib/Bedrock - cp -pR src $COQLIB/user-contrib/Bedrock + cp -pR src/* $COQLIB/user-contrib/Bedrock ''; meta = with stdenv.lib; { |