diff options
| author | Dan Liew <daniel.liew@imperial.ac.uk> | 2014-01-13 18:53:06 +0000 |
|---|---|---|
| committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2014-01-20 14:46:52 +0000 |
| commit | b58f5e78a9f3c161f7c8589bf5430a36ee33baf6 (patch) | |
| tree | 552f8c8ec2257192d79741fa110d9f37014b54ba /test/Runtime | |
| parent | 8a460a94c6a442e22187e8b5b3560bed34460f4b (diff) | |
| download | klee-b58f5e78a9f3c161f7c8589bf5430a36ee33baf6.tar.gz | |
Partially fix python detection for running llvm-lit.
The problem is newer LLVM versions (e.g. 3.3) detect python at their configure time whereas older versions don't (i.e. 2.9). So I don't want to add python detection to KLEE's configure if LLVM already does the work for us. We need to move off llvm 2.9 anyway.
Diffstat (limited to 'test/Runtime')
0 files changed, 0 insertions, 0 deletions