diff options
| author | Martin Nowack <m.nowack@imperial.ac.uk> | 2020-12-03 11:43:02 +0000 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2020-12-04 21:05:57 +0000 |
| commit | 199bd43deffc614b2915f4de26475ca43d22e2ae (patch) | |
| tree | 395276ea008407f9902eb0e0817b7df5f1020c31 /NEWS | |
| parent | f9b7c9032db07ba2d811c3bf16a100cc3adfc67e (diff) | |
| download | klee-199bd43deffc614b2915f4de26475ca43d22e2ae.tar.gz | |
Only build 32bit runtime libraries if supported by platform
Automatically detect if 32bit bitcode files can be built. In this case, build runtime library with 32bit as well.
Diffstat (limited to 'NEWS')
0 files changed, 0 insertions, 0 deletions