ocamlPackages.tezos-*: init at 8.3

Init all tezos packages needed to build LIGO
This commit is contained in:
Ulrik Strid 2021-07-07 11:34:04 +02:00 committed by Vincent Laporte
parent e506c26d14
commit 5c96c4d284
28 changed files with 758 additions and 0 deletions

View file

@ -0,0 +1,33 @@
{ lib
, buildDunePackage
, tezos-stdlib
, tezos-crypto
, tezos-micheline
, ptime
, ezjsonm
, ipaddr
, qcheck-alcotest
, crowbar
}:
buildDunePackage {
pname = "tezos-base";
inherit (tezos-stdlib) version src useDune2 preBuild doCheck;
propagatedBuildInputs = [
tezos-crypto
tezos-micheline
ptime
ezjsonm
ipaddr
];
checkInputs = [
qcheck-alcotest
crowbar
];
meta = tezos-stdlib.meta // {
description = "Tezos: meta-package and pervasive type definitions for Tezos";
};
}

View file

@ -0,0 +1,25 @@
{ lib
, buildDunePackage
, tezos-stdlib
, tezos-stdlib-unix
, alcotest
, alcotest-lwt
}:
buildDunePackage {
pname = "tezos-clic";
inherit (tezos-stdlib) version src useDune2 preBuild doCheck;
propagatedBuildInputs = [
tezos-stdlib-unix
];
checkInputs = [
alcotest
alcotest-lwt
];
meta = tezos-stdlib.meta // {
description = "Tezos: library of auto-documented command-line-parsing combinators";
};
}

View file

@ -0,0 +1,38 @@
{ lib
, buildDunePackage
, tezos-stdlib
, tezos-clic
, tezos-rpc
, bls12-381
, hacl-star
, secp256k1-internal
, uecc
, ringo
, ff
, alcotest
, alcotest-lwt
}:
buildDunePackage {
pname = "tezos-crypto";
inherit (tezos-stdlib) version src useDune2 preBuild doCheck;
propagatedBuildInputs = [
tezos-clic
tezos-rpc
bls12-381
hacl-star
secp256k1-internal
uecc
ringo
];
checkInputs = [
alcotest
alcotest-lwt
];
meta = tezos-stdlib.meta // {
description = "Tezos: library with all the cryptographic primitives used by Tezos";
};
}

View file

@ -0,0 +1,30 @@
{ lib
, buildDunePackage
, tezos-stdlib
, data-encoding
, lwt
, lwt-canceler
, alcotest
, alcotest-lwt
}:
buildDunePackage {
pname = "tezos-error-monad";
inherit (tezos-stdlib) version src useDune2 preBuild doCheck;
propagatedBuildInputs = [
tezos-stdlib
data-encoding
lwt
lwt-canceler
];
checkInputs = [
alcotest
alcotest-lwt
];
meta = tezos-stdlib.meta // {
description = "Tezos: error monad";
};
}

View file

@ -0,0 +1,22 @@
{ lib
, buildDunePackage
, tezos-stdlib
, tezos-lwt-result-stdlib
, lwt_log
, alcotest
, alcotest-lwt
}:
buildDunePackage {
pname = "tezos-event-logging";
inherit (tezos-stdlib) version src useDune2 preBuild doCheck;
propagatedBuildInputs = [
tezos-lwt-result-stdlib
lwt_log
];
meta = tezos-stdlib.meta // {
description = "Tezos: event logging library";
};
}

View file

@ -0,0 +1,51 @@
{ lib
, fetchFromGitLab
, pkg-config
, buildDunePackage
, lmdb
, rresult
, cstruct
, alcotest
}:
buildDunePackage rec {
pname = "tezos-lmdb";
version = "7.4";
src = fetchFromGitLab {
owner = "tezos";
repo = "tezos";
rev = "v${version}";
sha256 = "18q02j74aa8mxv233kvyb62xbhjngzpgppp6kgr4m53d7a78wgsm";
};
useDune2 = true;
preBuild = ''
rm dune
rm -rf src
rm -rf docs
ls vendors | grep -v ocaml-lmdb |xargs rm -rf
'';
buildInputs = [
pkg-config
];
propagatedBuildInputs = [
rresult
lmdb
];
checkInputs = [
cstruct
alcotest
];
doCheck = false;
meta = {
description = "Legacy Tezos OCaml binding to LMDB (Consider ocaml-lmdb instead)";
license = lib.licenses.isc;
maintainers = [ lib.maintainers.ulrikstrid ];
};
}

View file

@ -0,0 +1,32 @@
{ lib
, buildDunePackage
, ocaml
, tezos-stdlib
, tezos-error-monad
, alcotest
, alcotest-lwt
, crowbar
}:
if lib.versionAtLeast ocaml.version "4.12" then
throw "tezos-lwt-result-stdlib-${tezos-stdlib.version} is not available for OCaml > 4.10"
else
buildDunePackage {
pname = "tezos-lwt-result-stdlib";
inherit (tezos-stdlib) version src useDune2 preBuild doCheck;
propagatedBuildInputs = [
tezos-error-monad
];
checkInputs = [
alcotest
alcotest-lwt
crowbar
];
meta = tezos-stdlib.meta // {
description = "Tezos: error-aware stdlib replacement";
};
}

View file

@ -0,0 +1,28 @@
{ lib
, buildDunePackage
, tezos-stdlib
, tezos-error-monad
, uutf
, alcotest
, alcotest-lwt
, ppx_inline_test
}:
buildDunePackage {
pname = "tezos-micheline";
inherit (tezos-stdlib) version src useDune2 preBuild doCheck;
propagatedBuildInputs = [
tezos-error-monad
uutf
];
checkInputs = [
alcotest
alcotest-lwt
];
meta = tezos-stdlib.meta // {
description = "Tezos: internal AST and parser for the Michelson language";
};
}

View file

@ -0,0 +1,18 @@
{ lib
, buildDunePackage
, tezos-stdlib
, tezos-base
}:
buildDunePackage {
pname = "tezos-p2p-services";
inherit (tezos-stdlib) version src useDune2 preBuild doCheck;
propagatedBuildInputs = [
tezos-base
];
meta = tezos-stdlib.meta // {
description = "Tezos: descriptions of RPCs exported by `tezos-p2p`";
};
}

View file

@ -0,0 +1,25 @@
{ lib
, buildDunePackage
, tezos-stdlib
, tezos-p2p-services
, alcotest-lwt
, lwt-watcher
}:
buildDunePackage {
pname = "tezos-p2p";
inherit (tezos-stdlib) version src useDune2 preBuild doCheck;
propagatedBuildInputs = [
tezos-p2p-services
lwt-watcher
];
checkInputs = [
alcotest-lwt
];
meta = tezos-stdlib.meta // {
description = "Tezos: library for a pool of P2P connections";
};
}

View file

@ -0,0 +1,19 @@
{ lib
, buildDunePackage
, tezos-stdlib
, tezos-protocol-008-PtEdo2Zk
, qcheck-alcotest
}:
buildDunePackage {
pname = "tezos-protocol-008-PtEdo2Zk-parameters";
inherit (tezos-stdlib) version src useDune2 preBuild doCheck;
propagatedBuildInputs = [
tezos-protocol-008-PtEdo2Zk
];
meta = tezos-stdlib.meta // {
description = "Tezos/Protocol: parameters";
};
}

View file

@ -0,0 +1,23 @@
{ lib
, buildDunePackage
, tezos-stdlib
, tezos-protocol-compiler
}:
buildDunePackage {
pname = "tezos-protocol-008-PtEdo2Zk";
inherit (tezos-stdlib) version src useDune2 doCheck;
preBuild = ''
rm -rf vendors
substituteInPlace src/proto_008_PtEdo2Zk/lib_protocol/dune.inc --replace "-nostdlib" ""
'';
propagatedBuildInputs = [
tezos-protocol-compiler
];
meta = tezos-stdlib.meta // {
description = "Tezos/Protocol: economic-protocol definition";
};
}

View file

@ -0,0 +1,29 @@
{ lib
, buildDunePackage
, ocaml
, tezos-stdlib
, tezos-protocol-environment
, ocp-ocamlres
, pprint
}:
if lib.versionAtLeast ocaml.version "4.12" then
throw "tezos-protocol-compiler-${tezos-stdlib.version} is not available for OCaml > 4.10"
else
buildDunePackage {
pname = "tezos-protocol-compiler";
inherit (tezos-stdlib) version src useDune2 preBuild doCheck;
minimalOCamlVersion = "4.09";
propagatedBuildInputs = [
tezos-protocol-environment
ocp-ocamlres
pprint
];
meta = tezos-stdlib.meta // {
description = "Tezos: economic-protocol compiler";
};
}

View file

@ -0,0 +1,18 @@
{ lib
, buildDunePackage
, tezos-stdlib
, tezos-protocol-compiler
}:
buildDunePackage {
pname = "tezos-protocol-demo-noops";
inherit (tezos-stdlib) version src useDune2 preBuild doCheck;
propagatedBuildInputs = [
tezos-protocol-compiler
];
meta = tezos-stdlib.meta // {
description = "Tezos/Protocol: demo_noops economic-protocol definition";
};
}

View file

@ -0,0 +1,15 @@
{ lib
, buildDunePackage
, tezos-stdlib
}:
buildDunePackage {
pname = "tezos-protocol-environment-packer";
inherit (tezos-stdlib) version src useDune2 preBuild doCheck;
minimalOCamlVersion = "4.03";
meta = tezos-stdlib.meta // {
description = "Tezos: sigs/structs packer for economic protocol environment";
};
}

View file

@ -0,0 +1,30 @@
{ lib
, buildDunePackage
, ocaml
, tezos-stdlib
, tezos-protocol-environment-packer
, zarith
}:
buildDunePackage {
pname = "tezos-protocol-environment-sigs";
inherit (tezos-stdlib) version src useDune2 preBuild doCheck;
propagatedBuildInputs = [
tezos-protocol-environment-packer
];
checkInputs = [
tezos-stdlib
];
postPatch = ''
cp -f ${zarith}/lib/ocaml/${ocaml.version}/site-lib/zarith/z.mli ./src/lib_protocol_environment/sigs/v1/z.mli
sed -i 's/out_channel/Stdlib.out_channel/g' ./src/lib_protocol_environment/sigs/v1/z.mli
sed -i 's/Buffer/Stdlib.Buffer/g' ./src/lib_protocol_environment/sigs/v1/z.mli
'';
meta = tezos-stdlib.meta // {
description = "Tezos: restricted typing environment for the economic protocols";
};
}

View file

@ -0,0 +1,20 @@
{ lib
, buildDunePackage
, tezos-stdlib
, tezos-crypto
, tezos-protocol-environment-packer
}:
buildDunePackage {
pname = "tezos-protocol-environment-structs";
inherit (tezos-stdlib) version src useDune2 preBuild doCheck;
propagatedBuildInputs = [
tezos-crypto
tezos-protocol-environment-packer
];
meta = tezos-stdlib.meta // {
description = "Tezos: restricted typing environment for the economic protocols";
};
}

View file

@ -0,0 +1,33 @@
{ lib
, buildDunePackage
, tezos-stdlib
, tezos-base
, tezos-sapling
, tezos-protocol-environment-sigs
, tezos-protocol-environment-structs
, zarith
, alcotest-lwt
, crowbar
}:
buildDunePackage {
pname = "tezos-protocol-environment";
inherit (tezos-stdlib) version src useDune2 doCheck preBuild;
propagatedBuildInputs = [
tezos-sapling
tezos-base
tezos-protocol-environment-sigs
tezos-protocol-environment-structs
zarith # this might break, since they actually want 1.11
];
checkInputs = [
alcotest-lwt
crowbar
];
meta = tezos-stdlib.meta // {
description = "Tezos: custom economic-protocols environment implementation for `tezos-client` and testing";
};
}

View file

@ -0,0 +1,27 @@
{ lib
, buildDunePackage
, tezos-stdlib
, tezos-base
, tezos-test-services
, lwt-watcher
, alcotest-lwt
}:
buildDunePackage {
pname = "tezos-requester";
inherit (tezos-stdlib) version src useDune2 preBuild doCheck;
propagatedBuildInputs = [
tezos-base
lwt-watcher
];
checkInputs = [
alcotest-lwt
tezos-test-services
];
meta = tezos-stdlib.meta // {
description = "Tezos: generic resource fetching service";
};
}

View file

@ -0,0 +1,22 @@
{ lib
, buildDunePackage
, tezos-stdlib
, tezos-error-monad
, resto
, resto-directory
}:
buildDunePackage {
pname = "tezos-rpc";
inherit (tezos-stdlib) version src useDune2 preBuild doCheck;
propagatedBuildInputs = [
tezos-error-monad
resto
resto-directory
];
meta = tezos-stdlib.meta // {
description = "Tezos: library of auto-documented RPCs (service and hierarchy descriptions)";
};
}

View file

@ -0,0 +1,31 @@
{ lib
, buildDunePackage
, ocaml
, tezos-stdlib
, tezos-crypto
, tezos-rust-libs
, alcotest-lwt
}:
buildDunePackage {
pname = "tezos-sapling";
inherit (tezos-stdlib) version src useDune2 preBuild;
propagatedBuildInputs = [
tezos-crypto
tezos-rust-libs
];
checkInputs = [
alcotest-lwt
];
doCheck = false;
# This is a hack to work around the hack used in the dune files
OPAM_SWITCH_PREFIX = "${tezos-rust-libs}";
meta = tezos-stdlib.meta // {
description = "Tezos/Protocol: economic-protocol definition";
};
}

View file

@ -0,0 +1,22 @@
{ lib
, buildDunePackage
, tezos-stdlib
, tezos-workers
, tezos-p2p-services
, tezos-version
}:
buildDunePackage {
pname = "tezos-shell-services";
inherit (tezos-stdlib) version src useDune2 preBuild doCheck;
propagatedBuildInputs = [
tezos-workers
tezos-p2p-services
tezos-version
];
meta = tezos-stdlib.meta // {
description = "Tezos: descriptions of RPCs exported by `tezos-shell`";
};
}

View file

@ -0,0 +1,30 @@
{ lib
, buildDunePackage
, tezos-stdlib
, tezos-event-logging
, lwt
, ptime
, mtime
, ipaddr
, re
, alcotest
, alcotest-lwt
}:
buildDunePackage {
pname = "tezos-stdlib-unix";
inherit (tezos-stdlib) version src useDune2 preBuild doCheck;
propagatedBuildInputs = [
tezos-event-logging
lwt
ptime
mtime
ipaddr
re
];
meta = tezos-stdlib.meta // {
description = "Tezos: yet-another local-extension of the OCaml standard library (unix-specific fragment)";
};
}

View file

@ -0,0 +1,53 @@
{ lib
, fetchFromGitLab
, buildDunePackage
, hex
, lwt
, zarith
, alcotest
, alcotest-lwt
, crowbar
, bigstring
, lwt_log
}:
buildDunePackage rec {
pname = "tezos-stdlib";
version = "8.3";
src = fetchFromGitLab {
owner = "tezos";
repo = "tezos";
rev = "v${version}";
sha256 = "12cv2cssnw60jbpnh6xjysxgsgcj7d72454k4zs2b8fjx7mkgksk";
};
minimalOCamlVersion = "4.0.8";
useDune2 = true;
preBuild = ''
rm -rf vendors
'';
propagatedBuildInputs = [
hex
lwt
zarith
];
checkInputs = [
alcotest
alcotest-lwt
crowbar
bigstring
lwt_log
];
doCheck = true;
meta = {
description = "Tezos: yet-another local-extension of the OCaml standard library";
license = lib.licenses.mit;
maintainers = [ lib.maintainers.ulrikstrid ];
};
}

View file

@ -0,0 +1,20 @@
{ lib
, buildDunePackage
, tezos-stdlib
, tezos-base
, alcotest-lwt
}:
buildDunePackage {
pname = "tezos-test-services";
inherit (tezos-stdlib) version src useDune2 preBuild doCheck;
propagatedBuildInputs = [
tezos-base
alcotest-lwt
];
meta = tezos-stdlib.meta // {
description = "Tezos: Alcotest-based test services";
};
}

View file

@ -0,0 +1,18 @@
{ lib
, buildDunePackage
, tezos-stdlib
, tezos-base
}:
buildDunePackage {
pname = "tezos-version";
inherit (tezos-stdlib) version src useDune2 preBuild doCheck;
propagatedBuildInputs = [
tezos-base
];
meta = tezos-stdlib.meta // {
description = "Tezos: version information generated from Git";
};
}

View file

@ -0,0 +1,18 @@
{ lib
, buildDunePackage
, tezos-stdlib
, tezos-base
}:
buildDunePackage {
pname = "tezos-workers";
inherit (tezos-stdlib) version src useDune2 preBuild doCheck;
propagatedBuildInputs = [
tezos-base
];
meta = tezos-stdlib.meta // {
description = "Tezos: worker library";
};
}

View file

@ -1233,6 +1233,34 @@ let
terminal_size = callPackage ../development/ocaml-modules/terminal_size { };
tezos-base = callPackage ../development/ocaml-modules/tezos/base.nix { };
tezos-clic = callPackage ../development/ocaml-modules/tezos/clic.nix { };
tezos-crypto = callPackage ../development/ocaml-modules/tezos/crypto.nix { };
tezos-error-monad = callPackage ../development/ocaml-modules/tezos/error-monad.nix { };
tezos-event-logging = callPackage ../development/ocaml-modules/tezos/event-logging.nix { };
tezos-lmdb = callPackage ../development/ocaml-modules/tezos/lmdb.nix { };
tezos-lwt-result-stdlib = callPackage ../development/ocaml-modules/tezos/lwt-result-stdlib.nix { };
tezos-micheline = callPackage ../development/ocaml-modules/tezos/micheline.nix { };
tezos-p2p-services = callPackage ../development/ocaml-modules/tezos/p2p-services.nix { };
tezos-p2p = callPackage ../development/ocaml-modules/tezos/p2p.nix { };
tezos-protocol-008-PtEdo2Zk-parameters = callPackage ../development/ocaml-modules/tezos/protocol-008-PtEdo2Zk-parameters.nix { };
tezos-protocol-008-PtEdo2Zk = callPackage ../development/ocaml-modules/tezos/protocol-008-PtEdo2Zk.nix { };
tezos-protocol-compiler = callPackage ../development/ocaml-modules/tezos/protocol-compiler.nix { };
tezos-protocol-demo-noops = callPackage ../development/ocaml-modules/tezos/protocol-demo-noops.nix { };
tezos-protocol-environment-packer = callPackage ../development/ocaml-modules/tezos/protocol-environment-packer.nix { };
tezos-protocol-environment-sigs = callPackage ../development/ocaml-modules/tezos/protocol-environment-sigs.nix { };
tezos-protocol-environment-structs = callPackage ../development/ocaml-modules/tezos/protocol-environment-structs.nix { };
tezos-protocol-environment = callPackage ../development/ocaml-modules/tezos/protocol-environment.nix { };
tezos-requester = callPackage ../development/ocaml-modules/tezos/requester.nix { };
tezos-rpc = callPackage ../development/ocaml-modules/tezos/rpc.nix { };
tezos-sapling = callPackage ../development/ocaml-modules/tezos/sapling.nix { };
tezos-shell-services = callPackage ../development/ocaml-modules/tezos/shell-services.nix { };
tezos-stdlib-unix = callPackage ../development/ocaml-modules/tezos/stdlib-unix.nix { };
tezos-stdlib = callPackage ../development/ocaml-modules/tezos/stdlib.nix { };
tezos-test-services = callPackage ../development/ocaml-modules/tezos/test-services.nix { };
tezos-version = callPackage ../development/ocaml-modules/tezos/version.nix { };
tezos-workers = callPackage ../development/ocaml-modules/tezos/workers.nix { };
toml = callPackage ../development/ocaml-modules/toml { };
topkg = callPackage ../development/ocaml-modules/topkg { };