nixpkgs/pkgs/development/ocaml-modules/hacl-star/default.nix

{ buildDunePackage, hacl-star-raw, zarith, cppo, alcotest, secp256k1-internal, qcheck-core, cstruct }:


buildDunePackage {
  pname = "hacl-star";

  inherit (hacl-star-raw) version src meta doCheck;

  minimalOCamlVersion = "4.08";

  propagatedBuildInputs = [
    hacl-star-raw
    zarith
  ];

  nativeBuildInputs = [
    cppo
  ];

  checkInputs = [
    alcotest
    secp256k1-internal
    qcheck-core
    cstruct
  ];
}
pkgs/development/ocaml-modules: remove unused arguments 2024-07-16 01:40:28 +00:00			`{ buildDunePackage, hacl-star-raw, zarith, cppo, alcotest, secp256k1-internal, qcheck-core, cstruct }:`
ocamlPackages.hacl-star: 0.4.5 -> 0.7.0 2023-04-28 14:52:49 +00:00
ocamlPackages.hacl-star: init at 0.3.2 (#130277) ocamlPackages.hacl-star-raw: init at 0.3.2 2021-07-19 10:01:44 +00:00
			`buildDunePackage {`
			`pname = "hacl-star";`

ocamlPackages.hacl-star: 0.7.0 → 0.7.1 2023-10-25 06:00:42 +00:00			`inherit (hacl-star-raw) version src meta doCheck;`
ocamlPackages.hacl-star: init at 0.3.2 (#130277) ocamlPackages.hacl-star-raw: init at 0.3.2 2021-07-19 10:01:44 +00:00
ocamlPackages.hacl-star: 0.7.0 → 0.7.1 2023-10-25 06:00:42 +00:00			`minimalOCamlVersion = "4.08";`
ocamlPackages.hacl-star: init at 0.3.2 (#130277) ocamlPackages.hacl-star-raw: init at 0.3.2 2021-07-19 10:01:44 +00:00
			`propagatedBuildInputs = [`
			`hacl-star-raw`
			`zarith`
			`];`

ocamlPackages tree-wide: Move buildInputs that should be nativeBuildInputs To keep this for the future we also strictDeps where possible, including for janePackages, topkg, oasis and ocamlbuild. This makes some closures significantly smaller and makes cross compilation easier 2022-02-22 09:59:04 +00:00			`nativeBuildInputs = [`
ocamlPackages.hacl-star: init at 0.3.2 (#130277) ocamlPackages.hacl-star-raw: init at 0.3.2 2021-07-19 10:01:44 +00:00			`cppo`
			`];`
ocamlPackages tree-wide: Move buildInputs that should be nativeBuildInputs To keep this for the future we also strictDeps where possible, including for janePackages, topkg, oasis and ocamlbuild. This makes some closures significantly smaller and makes cross compilation easier 2022-02-22 09:59:04 +00:00
ocamlPackages.hacl-star: 0.4.5 -> 0.7.0 2023-04-28 14:52:49 +00:00			`checkInputs = [`
			`alcotest`
			`secp256k1-internal`
			`qcheck-core`
			`cstruct`
			`];`
ocamlPackages.hacl-star: init at 0.3.2 (#130277) ocamlPackages.hacl-star-raw: init at 0.3.2 2021-07-19 10:01:44 +00:00			`}`