cvc5: move override into package.nix, modernize

[qweered]

This is a step towards #454525, which will help enable checking for additional by-name directories (e.g. Python) in nixpkgs-vet.

Things done

• 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.

[qweered]

nixpkgs-review result

Generated using nixpkgs-review-gha

Command: nixpkgs-review pr 485691
Commit: 0ee834e65514d0e171b65e343defb969efad79ae (subsequent changes)
Merge: 4376c8a1c059573995e8f2e6c92502e614cf76d6

Logs: https://github.com/qweered/nixpkgs-review-gha/actions/runs/21549397158

---

x86_64-linux

✅ 5 packages built:

• cvc5
• isabelle
• isabelle-components.isabelle-linter
• key
• tlaps

---

aarch64-linux

✅ 5 packages built:

• cvc5
• isabelle
• isabelle-components.isabelle-linter
• key
• tlaps

---

x86_64-darwin (sandbox = false)

❌ 1 package failed to build:

• tlaps

✅ 4 packages built:

• cvc5
• isabelle
• isabelle-components.isabelle-linter
• key

---

Error logs: `x86_64-darwin`

tlaps

  cp zenon.bin zenon; \
        else \
  cp zenon.byt zenon; \
fi
: -q zenon.v
: -q zenon_coqbool.v
: -q zenon_equiv.v
: -q zenon_induct.v
: -q zenon_focal.v
mkdir -p "/nix/store/w95jbas4q7lz12j3z7a4y3949k4hnn36-tlaps-1.4.5/bin"
cp zenon "/nix/store/w95jbas4q7lz12j3z7a4y3949k4hnn36-tlaps-1.4.5/bin/"
mkdir -p "/nix/store/w95jbas4q7lz12j3z7a4y3949k4hnn36-tlaps-1.4.5/lib"
cp zenon.v zenon_coqbool.v zenon_equiv.v zenon_induct.v zenon_focal.v "/nix/store/w95jbas4q7lz12j3z7a4y3949k4hnn36-tlaps-1.4.5/lib/"
for i in zenon.vo zenon_coqbool.vo zenon_equiv.vo zenon_induct.vo zenon_focal.vo; \
  do [ ! -f $i ] || cp $i "/nix/store/w95jbas4q7lz12j3z7a4y3949k4hnn36-tlaps-1.4.5/lib/"; \
done
/nix/build/nix-14835-4239561832/tlaps-1.4.5
/nix/build/nix-14835-4239561832/tlaps-1.4.5/isabelle /nix/build/nix-14835-4239561832/tlaps-1.4.5
*** I/O error: /tmp/isabelle-/bash_timing14592739318769060706
*** The error(s) above occurred in session "Pure" (line 3 of "/nix/store/kybsi3jcab1mcd94nrzcfxrmxa5jqm7d-isabelle-2025-2/Isabelle2025-2/src/Pure/ROOT")

---

aarch64-darwin (sandbox = false)

❌ 2 packages failed to build:

• key
• tlaps

✅ 3 packages built:

• cvc5
• isabelle
• isabelle-components.isabelle-linter

---

Error logs: `aarch64-darwin`

tlaps

  cp zenon.bin zenon; \
        else \
  cp zenon.byt zenon; \
fi
: -q zenon.v
: -q zenon_coqbool.v
: -q zenon_equiv.v
: -q zenon_induct.v
: -q zenon_focal.v
mkdir -p "/nix/store/cznnx1cvjvbj3ccwij8l1h40vrv2bn6b-tlaps-1.4.5/bin"
cp zenon "/nix/store/cznnx1cvjvbj3ccwij8l1h40vrv2bn6b-tlaps-1.4.5/bin/"
mkdir -p "/nix/store/cznnx1cvjvbj3ccwij8l1h40vrv2bn6b-tlaps-1.4.5/lib"
cp zenon.v zenon_coqbool.v zenon_equiv.v zenon_induct.v zenon_focal.v "/nix/store/cznnx1cvjvbj3ccwij8l1h40vrv2bn6b-tlaps-1.4.5/lib/"
for i in zenon.vo zenon_coqbool.vo zenon_equiv.vo zenon_induct.vo zenon_focal.vo; \
  do [ ! -f $i ] || cp $i "/nix/store/cznnx1cvjvbj3ccwij8l1h40vrv2bn6b-tlaps-1.4.5/lib/"; \
done
/nix/build/nix-4586-1711704025/tlaps-1.4.5
/nix/build/nix-4586-1711704025/tlaps-1.4.5/isabelle /nix/build/nix-4586-1711704025/tlaps-1.4.5
*** I/O error: /tmp/isabelle-/bash_timing5712103515772202431
*** The error(s) above occurred in session "Pure" (line 3 of "/nix/store/wmrgm1sywmb86qycynhmjhkzvy7wnpgs-isabelle-2025-2/Isabelle2025-2/src/Pure/ROOT")

[gepbird]

Thanks, diff looks good!

Related: #178468

[gepbird]

nixpkgs-review result

Generated using nixpkgs-review.

Command: nixpkgs-review pr 485691
Commit: 0ee834e65514d0e171b65e343defb969efad79ae

---

x86_64-linux

✅ 5 packages built:

• cvc5
• isabelle
• isabelle-components.isabelle-linter
• key
• tlaps