diff options
| author | Martin Nowack <m.nowack@imperial.ac.uk> | 2020-04-06 14:27:51 +0100 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2020-11-04 15:14:47 +0000 |
| commit | 7fbef46d4036390c8ed10943bc610916292ef67d (patch) | |
| tree | d4eefb915e2dfd4ddff663f8bd3ff9bb0c188780 /docs | |
| parent | bef9f39d033ea5c9600f39af7cfd213e01aab4c1 (diff) | |
| download | klee-7fbef46d4036390c8ed10943bc610916292ef67d.tar.gz | |
[cmake] Switch to "newer" cmake version 3.5.0
Ubuntu 16.04 supports cmake 3.5.0 as default. Cmake 2.8.12 was the default in 14.04. Use cmake 3 to simplify cmake files.
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions