diff options
Diffstat (limited to 'pkgs/development/ocaml-modules/fiat-p256/default.nix')
-rw-r--r-- | pkgs/development/ocaml-modules/fiat-p256/default.nix | 33 |
1 files changed, 0 insertions, 33 deletions
diff --git a/pkgs/development/ocaml-modules/fiat-p256/default.nix b/pkgs/development/ocaml-modules/fiat-p256/default.nix deleted file mode 100644 index c979fe682d3e..000000000000 --- a/pkgs/development/ocaml-modules/fiat-p256/default.nix +++ /dev/null @@ -1,33 +0,0 @@ -{ lib, buildDunePackage, fetchurl, alcotest, asn1-combinators, benchmark -, bigarray-compat, cstruct, eqaf, hex, ppx_deriving_yojson, rresult -, stdlib-shims, yojson, dune-configurator }: - -buildDunePackage rec { - pname = "fiat-p256"; - version = "0.2.1"; - useDune2 = true; - - src = fetchurl { - url = "https://github.com/mirage/fiat/releases/download/v${version}/${pname}-v${version}.tbz"; - 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 - ppx_deriving_yojson rresult stdlib-shims yojson ]; - doCheck = true; - - meta = with lib; { - description = "Primitives for Elliptic Curve Cryptography taken from Fiat"; - homepage = "https://github.com/mirage/fiat"; - license = licenses.mit; - maintainers = with maintainers; [ sternenseemann ]; - }; -} |