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