Package cvc5.1.2.0

[joaomhmpereira]

cvc5.1.2.0

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

[raphael-proust]

The windows failure is on a conf- dependency, not on the package itself:

   #=== ERROR while compiling conf-python3-pyparsing.1 ===========================#
  # context     2.2.1 | win32/x86_64 | ocaml.5.2.0 | file://D:/a/opam-repository/opam-repository
  # path        D:\opamroot\default\.opam-switch\build\conf-python3-pyparsing.1
  # command     C:\hostedtoolcache\windows\Python\3.9.13\x64\python3.exe test.py
  # exit-code   1
  # env-file    D:\opamroot\log\conf-python3-pyparsing-3908-faecab.env
  # output-file D:\opamroot\log\conf-python3-pyparsing-3908-faecab.out
  ### output ###
  # Traceback (most recent call last):
  #   File "D:\opamroot\default\.opam-switch\build\conf-python3-pyparsing.1\test.py", line 1, in <module>
  #     import pyparsing
  # ModuleNotFoundError: No module named 'pyparsing'
  
  
  #=== ERROR while compiling conf-python-3-dev.1 ================================#
  # context     2.2.1 | win32/x86_64 | ocaml.5.2.0 | file://D:/a/opam-repository/opam-repository
  # path        D:\opamroot\default\.opam-switch\build\conf-python-3-dev.1
  # command     D:\opamroot\.cygwin\root\bin\make.exe
  # exit-code   2
  # env-file    D:\opamroot\log\conf-python-3-dev-3908-9c6b47.env
  # output-file D:\opamroot\log\conf-python-3-dev-3908-9c6b47.out
  ### output ###
  # cc `python3-config --includes` -o test test.c
  # /bin/sh: line 1: python3-config: command not found
  # /bin/sh: line 1: cc: command not found
  # make: *** [Makefile:2: build] Error 127

So I don't think it should block this package being merged. The conf-python-3-dev package would probably be worth fixing on windows if anyone with some time to spare has access to a windows machine.

[avsm]

Thanks! You may want to announce this on https://discuss.ocaml.org, where we have a Community category and an announce tag for this purpose.