diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2021-07-06 21:50:57 +0200 |
|---|---|---|
| committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2021-07-09 08:23:04 +0200 |
| commit | 2d1f4d4dabe4fa20a7705809dc88a1e4bd9dd4ff (patch) | |
| tree | 8715f134559ecab78a6731da769c44f55b520a23 /pkgs | |
| parent | 11c24ba9b3885c1f0c91ed3a8777664a4bc4f8b0 (diff) | |
ocamlPackages.fiat-p256: fix tests with alcotest 1.4.0
Diffstat (limited to 'pkgs')
| -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 3ebe98ab775d9..c979fe682d3e0 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 |