diff options
| author |  Benjamin Barenblat <bbaren@mit.edu> | 2015-02-05 19:08:28 -0500 |
|---|---|---|
| committer | Benjamin Barenblat <bbaren@mit.edu> | 2015-02-05 21:43:12 -0500 |
| commit | 1e579104a4abe47e156a145234962e57758f45f3 (patch) | |
| tree | 6dd08bb3a5a6bb7a058c4cc82b6a014f816f0fc9 /cfrontend | |
| parent | cb05177c2e72010803aa36653153dfb4a67615e0 (diff) | |
Install manually
The CompCert installation target is fairly inflexible, and it’s
inadequate for packaging. Install everything manually instead.
Diffstat (limited to 'cfrontend')
0 files changed, 0 insertions, 0 deletions