Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Remove -version-file option | Xavier Leroy | 2020-10-12 | 1 | -19/+2 |
| | | | | It is specific to AbsInt's commercial version of CompCert. | ||||
* | Add missing comment for print_version_file_and_exit | Christoph Cullmann | 2020-07-30 | 1 | -0/+1 |
| | |||||
* | No trailing commas for --version-file option. | Bernhard Schommer | 2020-07-09 | 1 | -1/+1 |
| | |||||
* | Fix typo. | Bernhard Schommer | 2020-07-08 | 1 | -1/+1 |
| | |||||
* | Revert "Use the same version string." | Bernhard Schommer | 2020-07-08 | 1 | -3/+10 |
| | | | | This reverts commit 1a01ad629109cdb60fddae3787e3a589d20e9790. | ||||
* | Use the same version string. | Bernhard Schommer | 2020-07-08 | 1 | -10/+3 |
| | | | | | | The version string dumped in the file should be the same as the version string printed by `-version`. The option is also not printed by `-help` since it is for internal use only. | ||||
* | Introduce additional "branch" build information. | Bernhard Schommer | 2020-07-08 | 1 | -3/+5 |
| | |||||
* | Add option to print version information in file | Bernhard Schommer | 2020-07-08 | 1 | -1/+17 |
| | |||||
* | Change to AbsInt version string. | Bernhard Schommer | 2019-05-10 | 1 | -2/+2 |
| | | | | | The AbsInt build number no longer contains "release", so it must be printed additionally. | ||||
* | Share code for common options. | Bernhard Schommer | 2018-01-29 | 1 | -0/+89 |
In order to avoid more divergence between the command line options of clightgen and ccomp the code for the common options, the language support options, the version string and the general options. |