diff options
| author | Dan Liew <daniel.liew@imperial.ac.uk> | 2015-04-09 19:47:27 +0100 |
|---|---|---|
| committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2015-04-09 20:09:42 +0100 |
| commit | 01933d1b5cf6fc38abe8c7722e447bd312a6e148 (patch) | |
| tree | b9c143212295ee51e01157ac2a12b27488aea541 /Makefile.config.in | |
| parent | f8a909c0cfe6a1ca0ef9bf952401fc561a48fc8f (diff) | |
| download | klee-01933d1b5cf6fc38abe8c7722e447bd312a6e148.tar.gz | |
Add initial Dockerfile for building a KLEE Docker image (uses LLVM3.4).
This is is tightly coupled with the TravisCI scripts. There are some really nasty hacks in here that we should get rid of at some point.
Diffstat (limited to 'Makefile.config.in')
0 files changed, 0 insertions, 0 deletions