ocamlPackages.hacl-star: init at 0.3.2 (#130277)

ocamlPackages.hacl-star-raw: init at 0.3.2
This commit is contained in:
Ulrik Strid 2021-07-19 12:01:44 +02:00 committed by GitHub
parent 7e2e486bbf
commit 55d50f19bf
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
3 changed files with 72 additions and 0 deletions

View file

@ -0,0 +1,18 @@
{ lib, buildDunePackage, hacl-star-raw, zarith, cppo }:
buildDunePackage {
pname = "hacl-star";
inherit (hacl-star-raw) version src meta doCheck minimalOCamlVersion;
useDune2 = true;
propagatedBuildInputs = [
hacl-star-raw
zarith
];
buildInputs = [
cppo
];
}

View file

@ -0,0 +1,51 @@
{ lib, which, stdenv, fetchzip, ocaml, findlib, hacl-star, ctypes, cppo }:
stdenv.mkDerivation rec {
pname = "ocaml${ocaml.version}-hacl-star-raw";
version = "0.3.2";
src = fetchzip {
url = "https://github.com/project-everest/hacl-star/releases/download/ocaml-v${version}/hacl-star.${version}.tar.gz";
sha256 = "1wp27vf0g43ggs7cv85hpa62jjvzkwzzg5rfznbwac6j6yr17zc7";
stripRoot = false;
};
sourceRoot = "./source/raw";
minimalOCamlVersion = "4.05";
postPatch = ''
patchShebangs ./
'';
preInstall = ''
mkdir -p $OCAMLFIND_DESTDIR/stublibs
'';
installTargets = "install-hacl-star-raw";
dontAddPrefix = true;
buildInputs = [
which
ocaml
findlib
];
propagatedBuildInputs = [
ctypes
];
checkInputs = [
cppo
];
doCheck = true;
meta = {
description = "Auto-generated low-level OCaml bindings for EverCrypt/HACL*";
license = lib.licenses.asl20;
maintainers = [ lib.maintainers.ulrikstrid ];
platforms = ocaml.meta.platforms;
};
}

View file

@ -417,6 +417,9 @@ let
hacl_x25519 = callPackage ../development/ocaml-modules/hacl_x25519 { };
hacl-star = callPackage ../development/ocaml-modules/hacl-star { };
hacl-star-raw = callPackage ../development/ocaml-modules/hacl-star/raw.nix { };
herelib = callPackage ../development/ocaml-modules/herelib { };
hidapi = callPackage ../development/ocaml-modules/hidapi { };