diff options
| author | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2020-12-24 16:29:39 +0100 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2020-12-24 17:00:42 +0100 |
| commit | 2a9a34bc137b1ba81ab4f6e90a447ae9d64e344b (patch) | |
| tree | 29c6c215d2ba70f8465a9eb3a7a2ca8582431625 /powerpc | |
| parent | 06956421b4307054af221c118c5f59593c0e67b9 (diff) | |
| download | compcert-kvx-2a9a34bc137b1ba81ab4f6e90a447ae9d64e344b.tar.gz compcert-kvx-2a9a34bc137b1ba81ab4f6e90a447ae9d64e344b.zip | |
configure script revised and simplified
Start from reasonable defaults before updating them per-target.
Print more details in the final configuration summary.
Update the "manual" mode.
Diffstat (limited to 'powerpc')
0 files changed, 0 insertions, 0 deletions