Z3: remove dependency on gmp

ocaml / opam-repository

Main public package repository for opam, the source package manager of OCaml.

https://opam.ocaml.org

Creative Commons Zero v1.0 Universal

509 stars 1.1k forks source link

Z3: remove dependency on gmp #26147

Closed wintersteiger closed 1 week ago

wintersteiger commented 1 week ago

The Windows/Cygwin CI fails because the Visual C Compiler cl.exe is not available (but mingw-gcc is). Is there a way to get the "currently opam-installed" C++ compiler?