replica
/
diffblue-cbmc
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Use git bash when configuring CMake 

This way you don't have to use Cygwin on Windows to configure cbmc with CMake and allows you to use Windows's native CMake support (assuming git is installed).
This commit is contained in:
Lukasz A.J. Wrona 2019-10-13 00:17:56 +01:00
parent 7949cac5f7
commit f0887bc199
1 changed files with 9 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
CMakeLists.txt
View File

@ -28,8 +28,15 @@ if("${CMAKE_CXX_COMPILER_ID}" STREQUAL "Clang" OR
# Enable lots of warnings
set(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} -Wall -Wpedantic -Werror -Wno-deprecated-declarations -Wswitch-enum")
elseif("${CMAKE_CXX_COMPILER_ID}" STREQUAL "MSVC")
# This would be the place to enable warnings for Windows builds, although
# config.inc doesn't seem to do that currently
# This would be the place to enable warnings for Windows builds, although
# config.inc doesn't seem to do that currently
# Include Git Bash Environment (rqeuired for download_project (patch))
find_package(Git)
if(GIT_FOUND)
get_filename_component(git_root ${GIT_EXECUTABLE} DIRECTORY)
set(ENV{PATH} "${git_root}\\..\\usr\\bin;$ENV{PATH}")
endif()
endif()
set(enable_cbmc_tests on CACHE BOOL "Whether CBMC tests should be enabled")