Package cvc5.1.3.0-1

[joaomhmpereira]

cvc5.1.3.0-1

OCaml bindings for the cvc5 SMT solver
OCaml bindings for the cvc5 SMT solver

---

• Homepage: https://github.com/formalsec/ocaml-cvc5
• Source repo: git+https://github.com/formalsec/ocaml-cvc5.git
• Bug tracker: https://github.com/formalsec/ocaml-cvc5/issues

---

🐫 Pull-request generated by opam-publish v2.5.1

[jmid]

CI summary:

• fails on build on arch, fedora-41, and fedora-42 with Could not find the required dependency GMP (>= 6.3) in the system which I believe is a conf-gmp issue
• it fails on arm32 - where I can see it has been disabled in packages/cvc5/cvc5.1.3.0/opam with available: arch != "arm32"
• there's a segfault on ocaml-4.14-nnpchecker 🤔
• there were timeouts on riscv64
• FreeBSD is failing with pkg: No packages available to install matching 'py39-pyparsing' have been found in the repositories which I believe is a conf-python3-pyparsing issue
• Windows is failing during installation of conf-python3-pyparsing and conf-python-3-dev

The arm32 failure should be easily addressed.
Also: would you consider adding an x-maintenance-intent entry? https://discuss.ocaml.org/t/opam-repository-archive-clarification-of-the-opam-fields/16050

[joaomhmpereira]

• The segfault on ocaml-4.14-nnpchecker has been fixed
• The fails on arch, fedora-41, and fedora-42 due to the GMP package persist, I think this due to the version of GMP being used (cvc5 requires GMP >= 6.3). As can be seen in this test:

# CMake Error at cmake/deps-helper.cmake:81 (message):
#   Could not find the required dependency GMP (>= 6.3) in the system.  Please
#   install it yourself or use --auto-download to let us download and build it
#   for you.
# Call Stack (most recent call first):
#   cmake/FindGMP.cmake:70 (check_auto_download)
#   CMakeLists.txt:452 (find_package)

• I've updated the build process to use the number of jobs available, through opam var jobs (instead of using a single job as it was previously), to reduce the build timeouts but now I'm seeing some killed processes during build. Is there a solution for this?

[jmid]

I was looking over the CI failure too:

• Add Arch support for conf-gmp #28428 should fix the Arch failure. That PR is now merged, so if you rebase on master those 2 errors should hopefully go away
• I'm puzzled by the Fedora errors. This log says Installing: ... gmp-devel x86_64 1:6.3.0-4.fc42 fedora 352.3 KiB yet later say Could not find the required dependency GMP (>= 6.3) in the system. So the required version is being installed - it is just not found. According to https://fedora.pkgs.org/42/fedora-x86_64/gmp-devel-6.3.0-4.fc42.x86_64.rpm.html the package should also contain .pc files for pkg-config to pick up. Perhaps it is not using pkg-config? 🤔
• A lot of the remaining failures are just Killed. I guess that could be explained by too heavy resource demands...
• FreeBSD and Windows continue to fail as described in Package cvc5.1.3.0-1 #28419 (comment)