pkgs/development/ocaml-modules/hacl-star/raw.nix

   1 { lib, which, stdenv, fetchzip, ocaml, findlib, hacl-star, ctypes, cppo }:
   2
   3 stdenv.mkDerivation rec {
   4   pname = "ocaml${ocaml.version}-hacl-star-raw";
   5   version = "0.4.5";
   6
   7   src = fetchzip {
   8     url = "https://github.com/project-everest/hacl-star/releases/download/ocaml-v${version}/hacl-star.${version}.tar.gz";
   9     sha256 = "1330vgbf5krlkvifby96kyk13xhmihajk2w5hgf2761jrljmnnrs";
  10     stripRoot = false;
  11   };
  12
  13   sourceRoot = "./source/raw";
  14
  15   minimalOCamlVersion = "4.08";
  16
  17   # strictoverflow is disabled because it breaks aarch64-darwin
  18   hardeningDisable = [ "strictoverflow" ];
  19
  20   postPatch = ''
  21     patchShebangs ./
  22   '';
  23
  24   preInstall = ''
  25     mkdir -p $OCAMLFIND_DESTDIR/stublibs
  26   '';
  27
  28   installTargets = "install-hacl-star-raw";
  29
  30   dontAddPrefix = true;
  31   dontAddStaticConfigureFlags = true;
  32   configurePlatforms = [];
  33
  34   nativeBuildInputs = [
  35     which
  36     ocaml
  37     findlib
  38   ];
  39
  40   propagatedBuildInputs = [
  41     ctypes
  42   ];
  43
  44   checkInputs = [
  45     cppo
  46   ];
  47
  48   strictDeps = true;
  49
  50   doCheck = true;
  51
  52   meta = {
  53     description = "Auto-generated low-level OCaml bindings for EverCrypt/HACL*";
  54     license = lib.licenses.asl20;
  55     maintainers = [ lib.maintainers.ulrikstrid ];
  56     platforms = ocaml.meta.platforms;
  57   };
  58 }