easycrypt: 2024.01 → 2024.09

[vbgl]

Things done

• Built on platform(s)
  • x86_64-linux
  • aarch64-linux
  • x86_64-darwin
  • aarch64-darwin
• For non-Linux: Is sandboxing enabled in nix.conf? (See Nix manual)
  • sandbox = relaxed
  • sandbox = true
• Tested, as applicable:
  • NixOS test(s) (look inside nixos/tests)
  • and/or package tests
  • or, for functions and "core" functionality, tests in lib/tests or pkgs/test
  • made sure NixOS tests are linked to the relevant packages
• Tested compilation of all packages that depend on this change using nix-shell -p nixpkgs-review --run "nixpkgs-review rev HEAD". Note: all changes have to be committed, also see nixpkgs-review usage
• Tested basic functionality of all binary files (usually in ./result/bin/)
• 24.11 Release Notes (or backporting 23.11 and 24.05 Release notes)
  • (Package updates) Added a release notes entry if the change is major or breaking
  • (Module updates) Added a release notes entry if the change is significant
  • (Module addition) Added a release notes entry if adding a new NixOS module
• Fits CONTRIBUTING.md.

---

Add a 👍 reaction to pull requests you find important.

[Br1ght0ne]

Result of nixpkgs-review pr 345928 run on aarch64-darwin 1

1 package failed to build:

• easycrypt

error: builder for '/nix/store/ps2lx3kyf38g22vvfn34d22pv8v791a0-easycrypt-2024.09.drv' failed with exit code 2;
       last 18 log lines:
       > Running phase: unpackPhase
       > unpacking source archive /nix/store/6f00w85dwqv0394b4icry0brq7jk5gpk-source
       > source root is source
       > Running phase: patchPhase
       > substituteStream() in derivation easycrypt-2024.09: WARNING: '--replace' is deprecated, use --replace-{fail,warn,quiet}. (file 'dune-project')
       > Running phase: updateAutotoolsGnuConfigScriptsPhase
       > Running phase: configurePhase
       > no configure script, doing nothing
       > Running phase: buildPhase
       > build flags: SHELL=/nix/store/iafzjk7zbkqaszqfp6n006vvxjrpn4f6-bash-5.2p32/bin/bash
       > rm -f src/ec.exe ec.native
       > dune build
       > File "src/dune", line 22, characters 7-9:
       > 22 |  (name ec)
       >             ^^
       > Error: Program codesign not found in the tree or in PATH
       > Hint: codesign should be part of the macOS installation
       > make: *** [Makefile:32: build] Error 1
       For full logs, run 'nix log /nix/store/ps2lx3kyf38g22vvfn34d22pv8v791a0-easycrypt-2024.09.drv'.
error: 1 dependencies of derivation '/nix/store/fpcxkcj1x2kq3pdxvycik2whqvb7hhyk-review-shell.drv' failed to build

1 package built:

• easycrypt-runtest