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; { |