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 | |
| 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')
| -rw-r--r-- | test/Feature/LinkLLVMLib.c | 2 | ||||
| -rw-r--r-- | test/lit.cfg | 2 |
2 files changed, 3 insertions, 1 deletions
diff --git a/test/Feature/LinkLLVMLib.c b/test/Feature/LinkLLVMLib.c index 7639bfef..95437094 100644 --- a/test/Feature/LinkLLVMLib.c +++ b/test/Feature/LinkLLVMLib.c @@ -1,5 +1,5 @@ // RUN: %llvmgcc %s -g -emit-llvm -O0 -c -o %t1.bc -DLINK_LLVM_LIB_TEST_LIB -// RUN: llvm-ar r %t1.a %t1.bc +// RUN: %llvmar r %t1.a %t1.bc // // RUN: %llvmgcc %s -g -emit-llvm -O0 -c -o %t2.bc -DLINK_LLVM_LIB_TEST_EXEC // RUN: rm -rf %t.klee-out 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 |