cafkafk/nixpkgs
cafkafk/nixpkgs
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

ocamlPackages.hacl-star: 0.7.0 → 0.7.1

Browse source
This commit is contained in:
Vincent Laporte 2023-10-25 08:00:42 +02:00
parent cb5678d28d
commit 31334218d3
No known key found for this signature in database
GPG key ID: EBD582ADDDB1F81F
2 changed files with 4 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
pkgs/development/ocaml-modules/hacl-star/default.nix
View file

@ -4,9 +4,9 @@
buildDunePackage { buildDunePackage {
pname = "hacl-star"; pname = "hacl-star";
inherit (hacl-star-raw) version src meta doCheck minimalOCamlVersion; inherit (hacl-star-raw) version src meta doCheck;
duneVersion = "3"; minimalOCamlVersion = "4.08";
propagatedBuildInputs = [ propagatedBuildInputs = [
hacl-star-raw hacl-star-raw

6
pkgs/development/ocaml-modules/hacl-star/raw.nix
View file

@ -12,11 +12,11 @@
}: }:
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
pname = "ocaml${ocaml.version}-hacl-star-raw"; pname = "ocaml${ocaml.version}-hacl-star-raw";
version = "0.7.0"; version = "0.7.1";
src = fetchzip { src = fetchzip {
url = "https://github.com/cryspen/hacl-packages/releases/download/ocaml-v${version}/hacl-star.${version}.tar.gz"; url = "https://github.com/cryspen/hacl-packages/releases/download/ocaml-v${version}/hacl-star.${version}.tar.gz";
sha256 = "sha256-jJtxVYhQgP8ItfLhQ2wcF8RKNRnYhB2j0nR7/YH1NfY="; hash = "sha256-TcAEaJou4BOVXSz5DYewzKfvIpjXmhLAlgF0hlq3ToQ=";
stripRoot = false; stripRoot = false;
}; };
@ -24,8 +24,6 @@ stdenv.mkDerivation rec {
./aligned-alloc.patch ./aligned-alloc.patch
]; ];
minimalOCamlVersion = "4.08";
# strictoverflow is disabled because it breaks aarch64-darwin # strictoverflow is disabled because it breaks aarch64-darwin
hardeningDisable = [ "strictoverflow" ]; hardeningDisable = [ "strictoverflow" ];