Skip to content

Commit d74ab5b

Browse files
NlightNFotisChristopher Wagner
authored and
Christopher Wagner
committed
Make flex and bison binaries required.
Without them being required, a new build where the binaries of the two programs are not found fails late and with confusing error messages. This makes the build fail fast and early, at the point where the error is produced (where the binaries have failed to have been found).
1 parent 2d5f766 commit d74ab5b

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

src/CMakeLists.txt

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
project(CBMC)
22

3-
find_package(BISON)
4-
find_package(FLEX)
3+
find_package(BISON REQUIRED)
4+
find_package(FLEX REQUIRED)
55

66
find_package(Doxygen)
77
if(DOXYGEN_FOUND)

0 commit comments

Comments
 (0)