diff options
author | Martin Nowack <martin@se.inf.tu-dresden.de> | 2013-06-05 23:02:25 +0200 |
---|---|---|
committer | Martin Nowack <martin.nowack@gmail.com> | 2013-08-15 16:50:44 +0200 |
commit | 5004054aec1e5cb69f8ce00f2295cc28d009a336 (patch) | |
tree | 928dfb90d21a1e864b13adff6c71de87f5bda72f | |
parent | 2fdad5968a4783e225a1024cb23b7ade1fa823f5 (diff) | |
download | klee-5004054aec1e5cb69f8ce00f2295cc28d009a336.tar.gz |
Use llvm-link instead of deprecated llvm-ld
-rw-r--r-- | Makefile.rules | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Makefile.rules b/Makefile.rules index 1026f2ff..f01649a9 100644 --- a/Makefile.rules +++ b/Makefile.rules @@ -477,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) @@ -1046,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 |