diff options
Diffstat (limited to 'pkgs/development/ocaml-modules/class_group_vdf/default.nix')
-rw-r--r-- | pkgs/development/ocaml-modules/class_group_vdf/default.nix | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/pkgs/development/ocaml-modules/class_group_vdf/default.nix b/pkgs/development/ocaml-modules/class_group_vdf/default.nix index 1290abaa23833..f59ad1448a9f6 100644 --- a/pkgs/development/ocaml-modules/class_group_vdf/default.nix +++ b/pkgs/development/ocaml-modules/class_group_vdf/default.nix @@ -1,7 +1,8 @@ { stdenv, lib, fetchFromGitLab, buildDunePackage , gmp, pkg-config, dune-configurator , zarith, integers -, alcotest, bisect_ppx }: +, alcotest, bisect_ppx +}: buildDunePackage rec { pname = "class_group_vdf"; @@ -23,12 +24,16 @@ buildDunePackage rec { dune-configurator ]; + buildInputs = [ + dune-configurator + ]; + propagatedBuildInputs = [ zarith integers ]; - nativeCheckInputs = [ + checkInputs = [ alcotest bisect_ppx ]; |