2021-07-07 10:34:04 +01:00
|
|
|
{ lib
|
|
|
|
, buildDunePackage
|
|
|
|
, tezos-stdlib
|
|
|
|
, tezos-crypto
|
2021-09-21 09:47:59 +01:00
|
|
|
, tezos-hacl-glue-unix
|
2021-07-07 10:34:04 +01:00
|
|
|
, tezos-micheline
|
2021-09-21 09:47:59 +01:00
|
|
|
, tezos-test-helpers
|
2021-07-07 10:34:04 +01:00
|
|
|
, ptime
|
|
|
|
, ipaddr
|
2021-09-21 09:47:59 +01:00
|
|
|
, bls12-381-unix
|
2021-07-07 10:34:04 +01:00
|
|
|
}:
|
|
|
|
|
|
|
|
buildDunePackage {
|
|
|
|
pname = "tezos-base";
|
2021-09-21 09:47:59 +01:00
|
|
|
inherit (tezos-stdlib) version useDune2;
|
|
|
|
src = "${tezos-stdlib.base_src}/src/lib_base";
|
2021-07-07 10:34:04 +01:00
|
|
|
|
|
|
|
propagatedBuildInputs = [
|
|
|
|
tezos-crypto
|
|
|
|
tezos-micheline
|
2021-09-21 09:47:59 +01:00
|
|
|
tezos-hacl-glue-unix
|
|
|
|
bls12-381-unix
|
2021-07-07 10:34:04 +01:00
|
|
|
ptime
|
|
|
|
ipaddr
|
|
|
|
];
|
|
|
|
|
|
|
|
checkInputs = [
|
2021-09-21 09:47:59 +01:00
|
|
|
# tezos-test-helpers
|
2021-07-07 10:34:04 +01:00
|
|
|
];
|
|
|
|
|
2021-09-21 09:47:59 +01:00
|
|
|
# circular dependency if we add this
|
|
|
|
doCheck = false;
|
|
|
|
|
2021-07-07 10:34:04 +01:00
|
|
|
meta = tezos-stdlib.meta // {
|
|
|
|
description = "Tezos: meta-package and pervasive type definitions for Tezos";
|
|
|
|
};
|
|
|
|
}
|