Commit Graph

10 Commits

Author SHA1 Message Date
jopejoe1
1e1cef625b ocamlPackages: swap throws to meta.broken
throws no longer work with the current ci we have in nixpkgs
2025-10-18 22:23:06 +02:00
Vincent Laporte
26631c3d61 ocamlPackages.z3: propagate libz3 2025-06-17 09:23:24 +02:00
Vincent Laporte
ba4ea7e965 ocamlPackages.z3: require OCaml ≥ 4.08 2025-01-11 10:59:35 +01: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
Anders Kaseorg
6920d8ca42 treewide: Simplify negated uses of versionAtLeast, versionOlder
Signed-off-by: Anders Kaseorg <andersk@mit.edu>
2022-04-25 13:35:24 -07:00
Connor Baker
9c83a461e5 ocamlPackages.z3: Remove unecessary patch
Reported in https://github.com/Z3Prover/z3/issues/5776 and fixed in 4f6fcf8ea7.
2022-03-25 11:55:54 -04: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
Vincent Laporte
8024b6bcd9 ocamlPackages.z3: fix build 2022-01-14 12:40:17 +01:00
Felix Buehler
565234fdb9 ocaml/z3: deprecate phases 2021-08-04 17:43:19 +02:00
Vincent Laporte
cc739e1c67 ocamlPackages.z3: init at 4.8.9 2020-09-30 22:03:17 +02:00