From 7d4b5d04c8e6cc20b0ba3bfe82e307691aa4a3d2 Mon Sep 17 00:00:00 2001
From: John Wiegley <johnw@newartisans.com>
Date: Thu, 21 May 2015 10:55:17 -0500
Subject: [PATCH] bedrock: Change build to use "src native"

---
 pkgs/development/coq-modules/bedrock/default.nix | 3 +++
 1 file changed, 3 insertions(+)

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