diff options
| author | Jiri Slaby <jslaby@suse.cz> | 2016-12-02 14:44:19 +0100 |
|---|---|---|
| committer | Dan Liew <delcypher@gmail.com> | 2016-12-02 16:28:55 +0000 |
| commit | 9293a3b584a8249ec8846e9200699e46e22a887c (patch) | |
| tree | 53ec4e32024dd9fd46f31611f9497c89070c1f86 /.travis | |
| parent | 74c6155ff3895e790d58689903b87308dfc05853 (diff) | |
| download | klee-9293a3b584a8249ec8846e9200699e46e22a887c.tar.gz | |
CMake: support LLVMCC.ExtraFlags
With the old buildsystem we could pass CFLAGS when building runtime libs. Support passing some additional flags to cmake-based system too. We need this to build 32 and 64bit runtime libs separately (but not whole klee). Signed-off-by: Jiri Slaby <jslaby@suse.cz>
Diffstat (limited to '.travis')
0 files changed, 0 insertions, 0 deletions