diff options
| author | Adrian Herrera <adrian.herrera02@gmail.com> | 2017-01-06 22:47:14 +0100 |
|---|---|---|
| committer | Dan Liew <delcypher@gmail.com> | 2017-01-08 09:42:58 +0000 |
| commit | 23e656156e4790a06a295d48932db53f2a582227 (patch) | |
| tree | 92b345b7b8a23496a51642a0fc8a115a90a40717 /test/lit.cfg | |
| parent | ad22e8420fb2f4fa1d98a3753ac844c3dd27d8ce (diff) | |
| download | klee-23e656156e4790a06a295d48932db53f2a582227.tar.gz | |
tests: Added substitution for llvm-ar
Brings llvm-ar into line with llvm-as and lli, removing the assumption that llvm-ar is installed system wide
Diffstat (limited to 'test/lit.cfg')
| -rw-r--r-- | test/lit.cfg | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/test/lit.cfg b/test/lit.cfg index 4fe24ba2..39d23fc5 100644 --- a/test/lit.cfg +++ b/test/lit.cfg @@ -87,6 +87,8 @@ for name in subs: config.substitutions.append( ('%lli', os.path.join(llvm_tools_dir, 'lli')) ) # Add a substitution for llvm-as config.substitutions.append( ('%llvmas', os.path.join(llvm_tools_dir, 'llvm-as')) ) +# Add a substitution for llvm-ar +config.substitutions.append( ('%llvmar', os.path.join(llvm_tools_dir, 'llvm-ar')) ) # Get KLEE and Kleaver specific parameters passed on llvm-lit cmd line # e.g. llvm-lit --param klee_opts=--help |