search

GaloisInc / what4-solvers

Multi-platform binary creation for solvers of the versions most suitable for use with What4
5 stars 1 forks source link

CI: `cvc5` Windows build failure #43

Closed RyanGlScott closed 10 months ago

RyanGlScott commented 10 months ago

Seen here:

+ ./configure.sh '-DPython_EXECUTABLE=C:\hostedtoolcache\windows\Python\3.9.13\x64/python.exe' --static --static-binary --auto-download --win64-native production
<snip>
-- Configuring done (23.3s)
CMake Error: The following variables are used in this project, but they are set to NOTFOUND.
Please set them or make sure they are set and tested correctly in the CMake files:
D:/a/what4-solvers/what4-solvers/repos/cvc5/src/parser/FLEX_INCLUDE_DIR
   used as include directory in directory D:/a/what4-solvers/what4-solvers/repos/cvc5/src/parser

-- Generating done (0.5s)
CMake Generate step failed.  Build files cannot be regenerated correctly.
Error: Process completed with exit code 1.
RyanGlScott commented 10 months ago

It would be worth trying a more recent version of cvc5 that includes https://github.com/cvc5/cvc5/pull/9759, the fix for https://github.com/cvc5/cvc5/issues/9774. According to this comment, that fix removes the flex dependency.