Merge pull request #15349 from MinaProtocol/georgeee/merge-berkeley-t…

…o-develop-mar19-2024 Merge berkeley to develop (mar19 2024)
MinaProtocol · Mar 19, 2024 · ae2e860 · ae2e860
2 parents f2fc0fb + 8cbd1c6
commit ae2e860
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/nix/ocaml.nix b/nix/ocaml.nix
@@ -301,7 +301,9 @@ let
         MINA_ROCKSDB = "${pkgs.rocksdb511}/lib/librocksdb.a";
         buildPhase = ''
           dune build --display=short \
-            src/app/berkeley_migration/berkeley_migration.exe
+            src/app/berkeley_migration/berkeley_migration.exe \
+            src/app/berkeley_migration_verifier/berkeley_migration_verifier.exe \
+            src/app/replayer/replayer.exe
         '';
 
         outputs = [ "out" ];
@@ -310,6 +312,8 @@ let
           mkdir -p $out/bin
           pushd _build/default
           cp src/app/berkeley_migration/berkeley_migration.exe $out/bin/mina-berkeley-migration
+          cp src/app/berkeley_migration_verifier/berkeley_migration_verifier.exe $out/bin/mina-berkeley-migration-verifier
+          cp src/app/replayer/replayer.exe $out/bin/mina-migration-replayer
           popd
           remove-references-to -t $(dirname $(dirname $(command -v ocaml))) $out/bin/*
         '';