diffblue-cbmc/CMakeLists.txt

11 lines
164 B
CMake
Raw Normal View History

2017-08-31 00:10:45 +08:00
cmake_minimum_required(VERSION 3.2)
include(GNUInstallDirs)
set(CMAKE_OSX_DEPLOYMENT_TARGET 10.9)
add_subdirectory(src)
enable_testing()
add_subdirectory(unit)