diff options
Diffstat (limited to 'pkgs/development/ocaml-modules/tezos/protocol-010-PtGRANAD.nix')
-rw-r--r-- | pkgs/development/ocaml-modules/tezos/protocol-010-PtGRANAD.nix | 8 |
1 files changed, 1 insertions, 7 deletions
diff --git a/pkgs/development/ocaml-modules/tezos/protocol-010-PtGRANAD.nix b/pkgs/development/ocaml-modules/tezos/protocol-010-PtGRANAD.nix index 80809cafbab22..2321245220f65 100644 --- a/pkgs/development/ocaml-modules/tezos/protocol-010-PtGRANAD.nix +++ b/pkgs/development/ocaml-modules/tezos/protocol-010-PtGRANAD.nix @@ -7,13 +7,7 @@ buildDunePackage { pname = "tezos-protocol-010-PtGRANAD"; inherit (tezos-stdlib) version useDune2; - src = "${tezos-stdlib.base_src}/src/proto_010_PtGRANAD/lib_protocol"; - - preBuild = '' - rm dune - cp -f ${tezos-protocol-compiler.src}/dune_protocol dune - sed -i.back -e s/-nostdlib//g dune.inc - ''; + src = "${tezos-stdlib.base_src}/src"; buildInputs = [ tezos-protocol-compiler |