diff options
| author | Dan Liew <daniel.liew@imperial.ac.uk> | 2015-04-09 16:32:26 +0100 |
|---|---|---|
| committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2015-04-09 19:48:58 +0100 |
| commit | f8a909c0cfe6a1ca0ef9bf952401fc561a48fc8f (patch) | |
| tree | 3f1429c697add146442a6271eca1e1d4b743b20c /Dockerfile | |
| parent | cac3cc670bf19a055286353d55db3317ccb2301c (diff) | |
| download | klee-f8a909c0cfe6a1ca0ef9bf952401fc561a48fc8f.tar.gz | |
Try to fix using the compiler KLEE's configure script detected again!
My first attempt in b41cf33b6b726fd97e502c5c4818f5feeea0284b was wrong because setting the CC and CXX Makefile variables in Makefile.config.in did not work because LLVM's Makefile.config would override them. Also detecting the C compiler is unnecessary because we already do this (bitcode compiler detection)
Diffstat (limited to 'Dockerfile')
0 files changed, 0 insertions, 0 deletions