diff options
| author | Dan Liew <daniel.liew@imperial.ac.uk> | 2016-11-19 13:36:14 +0000 |
|---|---|---|
| committer | Dan Liew <delcypher@gmail.com> | 2016-11-20 11:40:33 +0000 |
| commit | af0594f057f4fde2c7a8a5583949301abaa241ac (patch) | |
| tree | b8d11dde25fcd421a4ef5f0248dbe933be188073 /Makefile.rules | |
| parent | e4d028c8c11a308e1bd3938db1bb88a91d826c19 (diff) | |
| download | klee-af0594f057f4fde2c7a8a5583949301abaa241ac.tar.gz | |
[CMake] Fix the old Autoconf/Makefile build system files in source tree interfering with CMake build.
We now raise a fatal error if we detect certain files in the source
tree. This is a heuristic but it's good enough for now.
The order of includes has also been changed so that the build tree
include directory has priority over the source tree include directory so
that even if the added check was missing the right header file (i.e.
`${CMAKE_BINARY_DIR}/include/klee/Config/config.h` would be picked up at
build time.
Diffstat (limited to 'Makefile.rules')
0 files changed, 0 insertions, 0 deletions