cerberus: Fix runtime path look-up

[RossSmyth]

Things done

Cerberus has passed its integration tests with flying colors. But once out of the build sandbox it stopped running. I have tracked down the issue.

1. Submitted upstream patch Fix runtime path lookup rems-project/cerberus#980 for finding the correct paths after dune installing
2. Also patch the source to give a version number that isn't "unknown"
3. Move codegen binaries to depsBuildBuild
4. Add parallelization to buildPhase
5. Build with release profile
6. install the cerberus runtime library too
7. Add wrapper that sets the prefix environment variable
8. Add passthru test to ensure it runs outside the buildsandbox

• Built on platform:
  • x86_64-linux
  • aarch64-linux
  • x86_64-darwin
  • aarch64-darwin
• Tested, as applicable:
  • NixOS tests in nixos/tests.
  • Package tests at passthru.tests.
  • Tests in lib/tests or pkgs/test for functions and "core" functionality.
• Ran nixpkgs-review on this PR. See nixpkgs-review usage.
• Tested basic functionality of all binary files, usually in ./result/bin/.
• Nixpkgs Release Notes
  • Package update: when the change is major or breaking.
• NixOS Release Notes
  • Module addition: when adding a new NixOS module.
  • Module update: when the change is significant.
• Fits CONTRIBUTING.md, pkgs/README.md, maintainers/README.md and other READMEs.

---

Add a 👍 reaction to pull requests you find important.

[Sigmanificient]

nixpkgs-review result

Generated using nixpkgs-review-gha

Command: nixpkgs-review pr 445142
Commit: 91877b43fe859d481b41543dda45ee157f8359cf (subsequent changes)
Merge: 961e6f1d2fa5c4f4ede1fe1624cc2184fb0935e1

Logs: https://github.com/Sigmanificient/nixpkgs-review-gha/actions/runs/18251898871

---

x86_64-linux

✅ 1 package built:

• cerberus

---

aarch64-linux

✅ 1 package built:

• cerberus

---

x86_64-darwin (sandbox = true)

✅ 1 package built:

• cerberus

---

aarch64-darwin (sandbox = true)

✅ 1 package built:

• cerberus

[SuperSandroBot]

nixpkgs-review result

Generated using nixpkgs-review-gha

Command: nixpkgs-review pr 445142
Commit: 2b489fb4fbd18a78cca8796a2deadac7463ea709 (subsequent changes)
Merge: 512803857ee73c3bc86a2cc747cc19cda1b6c095

Logs: https://github.com/SuperSandro2000/nixpkgs-review-gha/actions/runs/18480957674

---

x86_64-linux

✅ 1 package built:

• cerberus

---

aarch64-linux

✅ 1 package built:

• cerberus

---

x86_64-darwin (sandbox = true)

✅ 1 package built:

• cerberus

---

aarch64-darwin (sandbox = true)

✅ 1 package built:

• cerberus