Skip to content

CBMC does not build using CMake & MSVC #4295

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
Closed
karkhaz opened this issue Feb 28, 2019 · 1 comment
Closed

CBMC does not build using CMake & MSVC #4295

karkhaz opened this issue Feb 28, 2019 · 1 comment
Labels
pending merge

Comments

@karkhaz
Copy link
Collaborator

karkhaz commented Feb 28, 2019

The issue is with src/ansi-c/library-check.sh. There are (at least) two issues:

  • MSVC doesn't understand the flags passed to $CC. It thinks that -Werror is an argument to -Wall. Don't ask.
  • The $CC variables should be quoted in that script, in case the path to the compiler contains spaces. Otherwise the shell tries to run a compiler called C:\Program.

Fix on the way shortly.
@karkhaz
Copy link
Collaborator Author

karkhaz commented Feb 28, 2019

Oh, and this is using the VisualStudio developer console. No cygwin or mingw.

karkhaz added a commit to karkhaz/cbmc that referenced this issue Feb 28, 2019
@karkhaz
Don't run library check under MSVC
1d0a5be 
src/ansi-c/library_check.sh does not work under MSVC, as that compiler
uses completely different flags. This commit removes the file generated
by that script---library-check.stamp---from the dependency graph under
cmake.

This commit fixes diffblue#4295.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
pending merge
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@tautschnig @karkhaz