JakeHillion/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

bedrock: Change build to use "src native"

Browse Source
This commit is contained in:
John Wiegley 2015-05-21 10:55:17 -05:00
parent 725005b89f
commit 7d4b5d04c8
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
pkgs/development/coq-modules/bedrock/default.nix
View File

@ -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 = ''