diff options
author | github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com> | 2021-07-09 12:01:58 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-07-09 12:01:58 +0000 |
commit | e8bfeeb928913275b660678fa7e47bc776e7118d (patch) | |
tree | 987137ee287e4b660eb522eced10b4c6d0a799fd /pkgs/development/ocaml-modules/fiat-p256/default.nix | |
parent | 5df9305b60d5c0dcd5c57388ae4027a59ae50d23 (diff) | |
parent | 30ff0457a4e742d77deb7e5349dac566e3eada17 (diff) | |
download | nixpkgs-e8bfeeb928913275b660678fa7e47bc776e7118d.tar nixpkgs-e8bfeeb928913275b660678fa7e47bc776e7118d.tar.gz nixpkgs-e8bfeeb928913275b660678fa7e47bc776e7118d.tar.bz2 nixpkgs-e8bfeeb928913275b660678fa7e47bc776e7118d.tar.lz nixpkgs-e8bfeeb928913275b660678fa7e47bc776e7118d.tar.xz nixpkgs-e8bfeeb928913275b660678fa7e47bc776e7118d.tar.zst nixpkgs-e8bfeeb928913275b660678fa7e47bc776e7118d.zip |
Merge staging-next into staging
Diffstat (limited to 'pkgs/development/ocaml-modules/fiat-p256/default.nix')
-rw-r--r-- | pkgs/development/ocaml-modules/fiat-p256/default.nix | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/pkgs/development/ocaml-modules/fiat-p256/default.nix b/pkgs/development/ocaml-modules/fiat-p256/default.nix index 3ebe98ab775..c979fe682d3 100644 --- a/pkgs/development/ocaml-modules/fiat-p256/default.nix +++ b/pkgs/development/ocaml-modules/fiat-p256/default.nix @@ -12,6 +12,12 @@ buildDunePackage rec { sha256 = "0086h9qkvnqfm8acrxqbki54z619nj73x7f0d01v5vg2naznx7w9"; }; + # Make tests compatible with alcotest 1.4.0 + postPatch = '' + substituteInPlace test/wycheproof/test.ml --replace \ + 'Printf.ksprintf Alcotest.fail' 'Printf.ksprintf (fun s -> Alcotest.fail s)' + ''; + buildInputs = [ dune-configurator ]; propagatedBuildInputs = [ bigarray-compat cstruct eqaf hex ]; checkInputs = [ alcotest asn1-combinators benchmark |