diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2013-08-15 10:25:27 -0700 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2013-08-15 10:25:27 -0700 |
| commit | 87968a53a31aaddb0c15b5d7078f6df05904fa0a (patch) | |
| tree | f7a3339eef43384c07a25fdb19f2ad1727474efa /Makefile.rules | |
| parent | 93d8088ed4498c340b740834dca0a7fa45e7b7eb (diff) | |
| parent | c09a2441e78f879c1c2ce8f2fa34c60800044349 (diff) | |
| download | klee-87968a53a31aaddb0c15b5d7078f6df05904fa0a.tar.gz | |
Merge pull request #14 from MartinNowack/BuildSystem
Patch Set V - Build system
Diffstat (limited to 'Makefile.rules')
| -rw-r--r-- | Makefile.rules | 12 |
1 files changed, 9 insertions, 3 deletions
diff --git a/Makefile.rules b/Makefile.rules index e5ce2b23..f01649a9 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 #-------------------------------------------------------------------- @@ -470,7 +477,7 @@ ifndef TBLGEN endif LLVM_CONFIG := $(LLVMToolDir)/llvm-config ifndef LLVMLD -LLVMLD := $(LLVMToolDir)/llvm-ld$(EXEEXT) +LLVMLD := $(LLVMToolDir)/llvm-link$(EXEEXT) endif ifndef LLVMDIS LLVMDIS := $(LLVMToolDir)/llvm-dis$(EXEEXT) @@ -1039,7 +1046,7 @@ $(warning Modules require LLVM capable compiler but none is available ****) else Module := $(LibDir)/$(MODULE_NAME).bc -LinkModule := $(LLVMLD) -r +LinkModule := $(LLVMLD) ifdef EXPORTED_SYMBOL_FILE @@ -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 |