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 /extraction/.gitignore | |
parent | 070adbfa6fbddee552e689bbee4bf76fa4bf770a (diff) | |
download | compcert-69d6a2c1e08e6169af95bf895d6b0380edb0d081.tar.gz compcert-69d6a2c1e08e6169af95bf895d6b0380edb0d081.zip |
Added configuration to enable clightgen build.
The new configuration option -clightgen activates the build of clightgen.
Diffstat (limited to 'extraction/.gitignore')
0 files changed, 0 insertions, 0 deletions