diff options
| author | Martin Nowack <martin@se.inf.tu-dresden.de> | 2013-12-04 23:35:10 +0100 |
|---|---|---|
| committer | Martin Nowack <martin@se.inf.tu-dresden.de> | 2014-02-06 23:55:29 +0100 |
| commit | 9e16c443aea9104609c5d5f4016ff41190c7dd24 (patch) | |
| tree | 645cf06da601f93f0688a4ffb5dbc01fb5271724 /lib/Module/KInstruction.cpp | |
| parent | f629a6d1ec51b39334c78bce354b3efb245c35b3 (diff) | |
| download | klee-9e16c443aea9104609c5d5f4016ff41190c7dd24.tar.gz | |
Add support for archive and single bc file linking
With LLVM 3.3 the linker does not support reading of archive files directly. This brings the support back (based on llvm-mn). Furthermore, linking single bc files or archives with bc and object files mixed is supported as well.
Diffstat (limited to 'lib/Module/KInstruction.cpp')
0 files changed, 0 insertions, 0 deletions