diff options
| author | Andrea Mattavelli <andreamattavelli@users.noreply.github.com> | 2017-04-03 22:28:34 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-04-03 22:28:34 +0100 |
| commit | 0c95b3ec029d467be1a1b03eca125c0506877201 (patch) | |
| tree | 6bcbfcc350702282e1e956794f3d32d62e7aa0d6 /runtime/Makefile.cmake.bitcode.rules | |
| parent | 2a2e972e8d287e61ad40b1cc14165b5eff482fc4 (diff) | |
| parent | 6a70f100c67ce9a0c2cd52d4af8fb9a7cfce22e2 (diff) | |
| download | klee-0c95b3ec029d467be1a1b03eca125c0506877201.tar.gz | |
Merge pull request #636 from delcypher/cmake_bitcode_build_system_fixes
[CMake] bitcode build system fixes
Diffstat (limited to 'runtime/Makefile.cmake.bitcode.rules')
| -rw-r--r-- | runtime/Makefile.cmake.bitcode.rules | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/runtime/Makefile.cmake.bitcode.rules b/runtime/Makefile.cmake.bitcode.rules index 8261ce99..2737eb80 100644 --- a/runtime/Makefile.cmake.bitcode.rules +++ b/runtime/Makefile.cmake.bitcode.rules @@ -70,8 +70,15 @@ else all:: build_at_level # Compute the directory to find sources -DIR_SUFFIX := $(subst $(RUNTIME_CMAKE_BINARY_DIR),,$(CURRENT_DIR)) +# Note: Use of $(realpath) is to resolve any symlinks +DIR_SUFFIX := $(subst $(realpath $(RUNTIME_CMAKE_BINARY_DIR)),,$(realpath $(CURRENT_DIR))) SRC_DIR := $(abspath $(ROOT_SRC)/$(DIR_SUFFIX)) +# Sanity check +ifeq ($(realpath $(SRC_DIR)),) +$(error SRC_DIR "$(SRC_DIR)" does not exist) +endif + +# Compute the directory to put build files LOCAL_BUILD_DIR := $(abspath $(ROOT_OBJ)/$(DIR_SUFFIX)) C_SRCS := $(shell echo $(SRC_DIR)/*.c) |