tjh.dev
Clone of https://github.com/NixOS/nixpkgs.git (to stress-test knotserver)
1{ lib
2, buildDunePackage
3, tezos-stdlib
4, tezos-protocol-updater
5, tezos-protocol-compiler
6}:
7
8buildDunePackage {
9 pname = "tezos-validation";
10 inherit (tezos-stdlib) version useDune2;
11 src = "${tezos-stdlib.base_src}/src/lib_validation";
12
13 propagatedBuildInputs = [
14 tezos-protocol-updater
15 ];
16
17 buildInputs = [
18 tezos-protocol-compiler
19 ];
20
21 doCheck = true;
22
23 meta = tezos-stdlib.meta // {
24 description = "Tezos: library for blocks validation";
25 };
26}