diff options
author | John Wiegley <johnw@newartisans.com> | 2015-05-21 10:55:17 -0500 |
---|---|---|
committer | John Wiegley <johnw@newartisans.com> | 2015-05-21 10:55:17 -0500 |
commit | 7d4b5d04c8e6cc20b0ba3bfe82e307691aa4a3d2 (patch) | |
tree | d36d6775a9e27756c2e25a31d514f3752058a0d4 /pkgs/development/coq-modules/bedrock | |
parent | 725005b89f19f50ec960b516e85b07dc9edfeed7 (diff) |
bedrock: Change build to use "src native"
Diffstat (limited to 'pkgs/development/coq-modules/bedrock')
-rw-r--r-- | pkgs/development/coq-modules/bedrock/default.nix | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/pkgs/development/coq-modules/bedrock/default.nix b/pkgs/development/coq-modules/bedrock/default.nix index 92a3d16963b6..fc3c16d00492 100644 --- a/pkgs/development/coq-modules/bedrock/default.nix +++ b/pkgs/development/coq-modules/bedrock/default.nix @@ -18,6 +18,9 @@ stdenv.mkDerivation rec { buildPhase = '' make -j$NIX_BUILD_CORES -C src/reification make -j$NIX_BUILD_CORES -C src + make -j$NIX_BUILD_CORES -C src native + # make -j$NIX_BUILD_CORES -C platform + # make -j$NIX_BUILD_CORES -C platform -f Makefile.cito ''; installPhase = '' |