Daniel Larraz 4e7922ee32 Use MSYS2 CLANG64 to compile on Windows x86_64 (#12291) ...

This PR replaces the MSYS2 MINGW64 environment with the CLANG64
environment for compiling cvc5 natively on Windows x86_64. The main
difference between the two is that MINGW64 uses GCC and links against
libstdc++ and the MSVCRT runtime, whereas CLANG64 uses Clang and links
against libc++ and the UCRT runtime (see the MSYS2 [environment
documentation](https://www.msys2.org/docs/environments/) for details).

This ensures compatibility for statically linking cvc5 with Lean
binaries that use libc++ on Windows x86_64, thus facilitating the
integration of cvc5 into
[lean-cvc5](https://github.com/abdoo8080/lean-cvc5).

---------

Co-authored-by: Abdalrhman Mohamed <abdoo8080@outlook.com>

2025-12-09 00:18:23 +00:00

..

c

Fix duplicate C++ declarations in Sphinx documentation (#12069)

2025-09-08 15:08:58 +00:00

cpp

doc: Fix toctree consistency issues (#12090)

2025-08-23 22:10:09 +00:00

java

doc: Add instructions for using Java bindings with Maven (#12271)

2025-12-02 00:35:54 +00:00

python

Use MSYS2 CLANG64 to compile on Windows x86_64 (#12291)

2025-12-09 00:18:23 +00:00

api.rst

docs: Add docs for C API. (#11044)

2024-07-16 18:50:32 +00:00

CMakeLists.txt

Update copyright headers. (#11561)

2025-01-23 17:54:20 +00:00

Doxyfile.in

ci: Treat all Doxygen warnings as errors (#12068)

2025-08-23 22:01:43 +00:00