Unverified Commit d410b3c2 authored by Ulrik Strid's avatar Ulrik Strid Committed by GitHub
Browse files

ocamlPackages.hacl-star: 0.7.1 → 0.7.2 (#347666)

parents 6f700a0b 2ef8b072

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

+2 −5
Original line number Diff line number Diff line
@@ -10,11 +10,11 @@ 
}:

stdenv.mkDerivation rec {

  pname = "ocaml${ocaml.version}-hacl-star-raw";

  version = "0.7.1";

  version = "0.7.2";



  src = fetchzip {

    url = "https://github.com/cryspen/hacl-packages/releases/download/ocaml-v${version}/hacl-star.${version}.tar.gz";

    hash = "sha256-TcAEaJou4BOVXSz5DYewzKfvIpjXmhLAlgF0hlq3ToQ=";

    hash = "sha256-6WPbdkT9IsX0Q8mF2vLBJMktEES8tU45JztOPepAL0o=";

    stripRoot = false;

  };
@@ -25,10 +25,7 @@ stdenv.mkDerivation rec { 
  # strictoverflow is disabled because it breaks aarch64-darwin

  hardeningDisable = [ "strictoverflow" ];



  # Compatibility with ctypes ≥ 0.21

  # see: https://github.com/cryspen/hacl-packages/commit/81303b83a54a92d3b5f54f1b8ddbea60438cc2bf

  postPatch = ''

    substituteInPlace hacl-star-raw/META --replace-warn 'requires="ctypes"' 'requires="ctypes ctypes.stubs"'

    patchShebangs ./

  '';