Skip to content

Commit 7949cac

Browse files
author
Lukasz A.J. Wrona
committed
Add project(CBMC) to CMakeLists
Suppresses a "missing project" warning. Each CBMC project should have a project tag.
1 parent e7fc79a commit 7949cac

File tree

1 file changed

+2
-0
lines changed

1 file changed

+2
-0
lines changed

CMakeLists.txt

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,7 @@
11
cmake_minimum_required(VERSION 3.2)
22

3+
project(CBMC)
4+
35
find_program(CCACHE_PROGRAM ccache)
46
if(CCACHE_PROGRAM)
57
set_property(GLOBAL PROPERTY RULE_LAUNCH_COMPILE "${CCACHE_PROGRAM}")

0 commit comments

Comments
 (0)