diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-12-28 21:31:24 +0100 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-12-28 21:31:24 +0100 |
| commit | 69d6a2c1e08e6169af95bf895d6b0380edb0d081 (patch) | |
| tree | 38ff4dc08878b1f005e4c12c5dfede83e2e04d45 /debug | |
| parent | 070adbfa6fbddee552e689bbee4bf76fa4bf770a (diff) | |
| download | compcert-kvx-69d6a2c1e08e6169af95bf895d6b0380edb0d081.tar.gz compcert-kvx-69d6a2c1e08e6169af95bf895d6b0380edb0d081.zip | |
Added configuration to enable clightgen build.
The new configuration option -clightgen activates the build of clightgen.
Diffstat (limited to 'debug')
0 files changed, 0 insertions, 0 deletions