diff options
| author | Martin Nowack <m.nowack@imperial.ac.uk> | 2020-01-23 15:28:56 +0000 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2020-02-13 17:39:21 +0000 |
| commit | 2e8d6aed747a988871b6836012301708950a74ef (patch) | |
| tree | 35ac617795950d9d23672fdec50a6d78dba31d3e /lib/CMakeLists.txt | |
| parent | dbda156217c532a7e1a65e8c216e593a64c0b8fc (diff) | |
| download | klee-2e8d6aed747a988871b6836012301708950a74ef.tar.gz | |
Use git repository to build LLVM
LLVM changed from svn to github. Use the github mirror to have faster build times. Patches were updated to follow the new structure. Patches also support building underr Ubuntu 18.04
Diffstat (limited to 'lib/CMakeLists.txt')
0 files changed, 0 insertions, 0 deletions