Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

CI: cvc5 Windows build failure #43

Closed
RyanGlScott opened this issue Dec 12, 2023 · 1 comment · Fixed by #45
Closed

CI: cvc5 Windows build failure #43

RyanGlScott opened this issue Dec 12, 2023 · 1 comment · Fixed by #45
Labels
bug Something isn't working

Comments

@RyanGlScott
Copy link
Contributor

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 RyanGlScott added the bug Something isn't working label Dec 12, 2023
@RyanGlScott
Copy link
Contributor Author

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

RyanGlScott added a commit that referenced this issue Dec 18, 2023
@RyanGlScott
Upgrade CVC5 to 1.0.8
6782855 
This includes several fixes that we previously needed patches for, so we can
delete several hacks in the `patches/` subdirectory. Moreover, this version of
`cvc5` no longer includes `flex` as a dependency, so this fixes #43.
@RyanGlScott RyanGlScott mentioned this issue Dec 18, 2023
Merged
RyanGlScott added a commit that referenced this issue Dec 18, 2023
@RyanGlScott
Upgrade CVC5 to 1.0.8
a6cc108 
This includes several fixes that we previously needed patches for, so we can
delete several hacks in the `patches/` subdirectory. Moreover, this version of
`cvc5` no longer includes `flex` as a dependency, so this fixes #43.
RyanGlScott added a commit that referenced this issue Dec 18, 2023
@RyanGlScott
Upgrade CVC5 to 1.0.8
af663c3 
This includes several fixes that we previously needed patches for, so we can
delete several hacks in the `patches/` subdirectory. Moreover, this version of
`cvc5` no longer includes `flex` as a dependency, so this fixes #43.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
bug Something isn't working
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Upgrade CVC5 to 1.0.8, use ftp.gnu.org mirror for gmp download GaloisInc/what4-solvers
1 participant
@RyanGlScott