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 /lib/Readconfig.mli | |
parent | 06956421b4307054af221c118c5f59593c0e67b9 (diff) | |
download | compcert-2a9a34bc137b1ba81ab4f6e90a447ae9d64e344b.tar.gz compcert-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 'lib/Readconfig.mli')
0 files changed, 0 insertions, 0 deletions