forked from mirrors/nixpkgs
0522e55f99
* ocamlPackages.ppxlib: 0.23.0 -> 0.24.0
* ocamlPackages.bls12-381{,-unix}: 0.4.2 -> 1.1.0
- Update to version 1.1.0
- Use the same revision tag used in the opam repository, as the release tarbal seems to be unavailable
- Does not depend on bls12-381-gen and rust anymore
* ocamlPackages.bls12-381-{gen: 0.4.2 -> 0.4.4,legacy: init at 0.4.4}
- Update bls12-381-gen to version 0.4.4
- Add new package bls12-381-legacy
* ocamlPackages.tezos-*: 10.2 -> 11.0
- Update tezos to version 11.0
- Add new packages:
tezos-base-test-helpers
tezos-embedded-protocol-demo-noops
tezos-event-logging-test-helpers
tezos-protocol-alpha
tezos-protocol-demo-noops
tezos-protocol-plugin-alpha
tezos-protocol-demo-noops
tezos-protocol-plugin-alpha
tezos-shell-services-test-helpers
- Remove old package:
tezos-test-services
* ocamlPackages.repr: 0.4.0 -> 0.5.0
* ocamlPackages.hacl-star-raw: 0.3.2 -> 0.4.5
* ocamlPackages.arp: 2.3.2 -> 3.0.0
* ocamlPackages.index: 1.4.1 -> 1.5.0
* ocamlPackages.digestif: 1.0.0 -> 1.1.0
* ocamlPackages.ethernet: 2.2.0 -> 3.0.0
* ocamlPackages.httpaf: 0.6.6 -> 0.7.1
* ocamlPackages.mirage-nat: 2.2.3 -> 2.2.5
* ocamlPackages.tcpip: 6.2.0 -> 7.0.1
* ocamlPackages.paf: 0.0.6 -> 0.0.8
* ocamlPackages.ppx_irmin: 2.7.2 -> 2.9.1
* ocamlPackages.tezos-*: add missing packages, needed by ligo-0.34
* ocamlPackages.ocaml-recovery-parser: init at 0.2.2
* ligo: 0.27.0 -> 0.34.0
53 lines
1.1 KiB
Nix
53 lines
1.1 KiB
Nix
{ lib, which, stdenv, fetchzip, ocaml, findlib, hacl-star, ctypes, cppo }:
|
|
|
|
stdenv.mkDerivation rec {
|
|
pname = "ocaml${ocaml.version}-hacl-star-raw";
|
|
version = "0.4.5";
|
|
|
|
src = fetchzip {
|
|
url = "https://github.com/project-everest/hacl-star/releases/download/ocaml-v${version}/hacl-star.${version}.tar.gz";
|
|
sha256 = "1330vgbf5krlkvifby96kyk13xhmihajk2w5hgf2761jrljmnnrs";
|
|
stripRoot = false;
|
|
};
|
|
|
|
sourceRoot = "./source/raw";
|
|
|
|
minimalOCamlVersion = "4.08";
|
|
|
|
postPatch = ''
|
|
patchShebangs ./
|
|
'';
|
|
|
|
preInstall = ''
|
|
mkdir -p $OCAMLFIND_DESTDIR/stublibs
|
|
'';
|
|
|
|
installTargets = "install-hacl-star-raw";
|
|
|
|
dontAddPrefix = true;
|
|
dontAddStaticConfigureFlags = true;
|
|
configurePlatforms = [];
|
|
|
|
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;
|
|
};
|
|
}
|