diff options
| author | Martin Nowack <martin@se.inf.tu-dresden.de> | 2013-05-02 16:49:52 +0200 |
|---|---|---|
| committer | Martin Nowack <martin.nowack@gmail.com> | 2013-08-15 16:50:44 +0200 |
| commit | 2fdad5968a4783e225a1024cb23b7ade1fa823f5 (patch) | |
| tree | 597739edbc0ef2da6c5e5fb7a8bda425005cf1c8 | |
| parent | 93d8088ed4498c340b740834dca0a7fa45e7b7eb (diff) | |
| download | klee-2fdad5968a4783e225a1024cb23b7ade1fa823f5.tar.gz | |
Warn if compiler is not found to build .ll files
| -rw-r--r-- | Makefile.rules | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/Makefile.rules b/Makefile.rules index e5ce2b23..1026f2ff 100644 --- a/Makefile.rules +++ b/Makefile.rules @@ -451,6 +451,13 @@ else LLVMCC := $(LLVMGCC) LLVMCXX := $(LLVMGXX) endif + + ifeq ($(wildcard $(LLVMCC)),) + $(warning Provided Compiler "$(LLVMCC)" is not found. Provide full path!) + endif + ifeq ($(wildcard $(LLVMCXX)),) + $(warning Provided Compiler "$(LLVMCXX)" is not found. Provide full path!) + endif endif #-------------------------------------------------------------------- @@ -1174,7 +1181,6 @@ ifdef BYTECODE_LIBRARY ifeq ($(strip $(LLVMCC)),) $(warning Bytecode libraries require LLVM capable compiler but none is available ****) else - all-local:: $(LibName.BCA) ifdef EXPORTED_SYMBOL_FILE |