Skip to content

Commit

Permalink
After-merge fixes
Browse files Browse the repository at this point in the history
  • Loading branch information
georgeee committed Apr 3, 2024
1 parent 287a91f commit bb814f0
Showing 1 changed file with 0 additions and 14 deletions.
14 changes: 0 additions & 14 deletions flake.nix
Original file line number Diff line number Diff line change
Expand Up @@ -73,14 +73,6 @@
[ (inDirectory "src") "dune" "dune-project"
"./graphql_schema.json" "opam.export" ];
};
ocaml-src-caqti-patched = pkgs:
pkgs.stdenv.mkDerivation ({
name = "mina-src-caqti-patched";
src = ocaml-src;
phases = [ "unpackPhase" "patchPhase" "installPhase" ];
patches = [ ./buildkite/scripts/caqti-upgrade-plus-archive-init-speedup.patch ];
installPhase = "cp -R . $out";
});
in {
overlays = {
misc = import ./nix/misc.nix;
Expand All @@ -92,10 +84,6 @@
inherit inputs pkgs;
src = ocaml-src;
});
ocamlPackages_mina_caqti_patched = requireSubmodules (import ./nix/ocaml.nix {
inherit inputs pkgs;
src = ocaml-src-caqti-patched prev;
});
};
};

Expand Down Expand Up @@ -310,8 +298,6 @@
packages = rec {
inherit (ocamlPackages)
mina devnet mainnet mina_tests mina-ocaml-format mina_client_sdk test_executive with-instrumentation;
devnet-caqti-patched = pkgs.ocamlPackages_mina_caqti_patched.devnet;
mainnet-caqti-patched = pkgs.ocamlPackages_mina_caqti_patched.mainnet;
inherit (pkgs)
libp2p_helper kimchi_bindings_stubs snarky_js leaderboard
validation trace-tool zkapp-cli;
Expand Down

0 comments on commit bb814f0

Please sign in to comment.