Skip to content

Capitalized CMAKE_BUILD_HOL value#664

Merged
MichaelRawson merged 1 commit into
vprover:holfrom
Rockjack00:consistent-hol-cmake-argument
Mar 21, 2025
Merged

Capitalized CMAKE_BUILD_HOL value#664
MichaelRawson merged 1 commit into
vprover:holfrom
Rockjack00:consistent-hol-cmake-argument

Conversation

@Rockjack00
Copy link
Copy Markdown

Hello!

The release notes say to use CMAKE_BUILD_HOL=ON but CMakeLists.txt only supports CMAKE_BUILD_HOL=On (note the lowercase "n") with a string comparison (here). In order to keep the values consistent with other CMake arguments I propose changing it to ON.

Thanks!
~Tyler

@MichaelRawson
Copy link
Copy Markdown
Contributor

Thanks for this! I got bitten before. CI is just failing because we're not merging into master.

@MichaelRawson MichaelRawson merged commit 197bd57 into vprover:hol Mar 21, 2025
@Rockjack00 Rockjack00 deleted the consistent-hol-cmake-argument branch March 22, 2025 11:35
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants