Commit Graph

15 Commits

Author SHA1 Message Date
Emily
205c1696b8 treewide: remove obsolete aligned allocation workarounds 2025-01-04 21:20:40 +00:00
Silvan Mosberger
4f0dadbf38 treewide: format all inactive Nix files
After final improvements to the official formatter implementation,
this commit now performs the first treewide reformat of Nix files using it.
This is part of the implementation of RFC 166.

Only "inactive" files are reformatted, meaning only files that
aren't being touched by any PR with activity in the past 2 months.
This is to avoid conflicts for PRs that might soon be merged.
Later we can do a full treewide reformat to get the rest,
which should not cause as many conflicts.

A CI check has already been running for some time to ensure that new and
already-formatted files are formatted, so the files being reformatted here
should also stay formatted.

This commit was automatically created and can be verified using

    nix-build a08b3a4d19.tar.gz \
      --argstr baseRev b32a094368
    result/bin/apply-formatting $NIXPKGS_PATH
2024-12-10 20:26:33 +01:00
Vincent Laporte
2ef8b07228 ocamlPackages.hacl-star: 0.7.1 → 0.7.2 2024-10-10 09:16:25 +02:00
Sigmanificient
3e1227a1af pkgs/development/ocaml-modules: remove unused arguments 2024-07-16 03:54:01 +02:00
Vincent Laporte
d6d96bdff4 ocamlPackages.ctypes: 0.20.2 → 0.21.1 2024-03-05 14:50:00 +01:00
Vincent Laporte
31334218d3 ocamlPackages.hacl-star: 0.7.0 → 0.7.1 2023-10-25 08:01:26 +02:00
Weijia Wang
093fcd1629 ocamlPackages.hacl-star-raw: use _mm_malloc on darwin 2023-05-05 16:10:55 +03:00
Ulrik Strid
52801e32b2 ocamlPackages.hacl-star-raw: fix build 2023-05-04 14:21:13 +02:00
Laurent Canis
02cda04c0a ocamlPackages.hacl-star: 0.4.5 -> 0.7.0 2023-05-02 16:59:55 +02:00
Guillaume Girol
33afbf39f6 treewide: switch to nativeCheckInputs
checkInputs used to be added to nativeBuildInputs. Now we have
nativeCheckInputs to do that instead. Doing this treewide change allows
to keep hashes identical to before the introduction of
nativeCheckInputs.
2023-01-21 12:00:00 +00:00
Ulrik Strid
3540cc8d16 ocamlPackages.hacl-star-raw: fix aarch64-darwin 2022-04-20 10:31:08 +02:00
Ulrik Strid
a13cdfe520 ocamlPackages tree-wide: Move buildInputs that should be nativeBuildInputs
To keep this for the future we also strictDeps where possible, including for janePackages, topkg, oasis and ocamlbuild.
This makes some closures significantly smaller and makes cross compilation easier
2022-02-24 14:39:27 +01:00
José Romildo Malaquias
0522e55f99 ocamlPackages.ppxlib: 0.23.0 -> 0.24.0 (#154901)
* 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
2022-01-23 21:24:16 +01:00
Guillaume Girol
a17fc03375 pkgsStatic.ocaml-ng: migrate static adapter to derivations themselves 2021-08-19 09:32:03 +02:00
Ulrik Strid
55d50f19bf ocamlPackages.hacl-star: init at 0.3.2 (#130277)
ocamlPackages.hacl-star-raw: init at 0.3.2
2021-07-19 12:01:44 +02:00