diff options
author | Dan Liew <daniel.liew@imperial.ac.uk> | 2017-03-30 09:59:44 +0100 |
---|---|---|
committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2017-03-30 14:11:38 +0100 |
commit | 08e79adeb0c732de443eb81122594d03c39248b3 (patch) | |
tree | df416f9774b140c7f9347c0eee8d3a95b18815a2 /.gitignore | |
parent | 0eb13665f0b0fb7d6a3d3015d1a1413236966339 (diff) | |
download | klee-08e79adeb0c732de443eb81122594d03c39248b3.tar.gz |
[CMake] Fix #631
This fixes a bug in the bitcode build system where the build would fail if the build directory was a symbolic link (i.e. create a symbolic link for the root of the build tree and try to do the build in that directory). The problem was that `DIR_SUFFIX` implicitly assumed that there was only one way to refer to the build tree which is an incorrect assumption in the presence of symbolic links. This has been fixed by using the `$(realpath)` GNU make built in to resolve all symbolic links. An additional sanity check has been added to check that `SRC_DIR` exists.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions