aboutsummaryrefslogtreecommitdiffstats
path: root/driver/Driveraux.ml
Commit message (Collapse)AuthorAgeFilesLines
* Various improvements in the wording of diagnostics.Michael Schmidt2018-08-021-1/+1
| | | | | | Fix various typos in diagnostic messages and unified wording and capitalization. Bug 23850
* Refactor the handling of errors and warnings (#44)Bernhard Schommer2018-02-081-13/+12
| | | | | | | | | | | | | | | | | * Module Cerrors is now called Diagnostic and can be used in parts of CompCert other than cparser/ * Replaced eprintf error. Instead of having eprintf msg; exit 2 use the functions from the Diagnostics module. * Raise on error before calling external tools. * Added diagnostics to clightgen. * Fix error handling of AsmToJson. * Cleanup error handling of Elab and C2C. *The implementation of location printing (file & line) is simplified and correctly prints valid filenames with invalid lines.
* Remove all temporary files at program exit (#46)Bernhard Schommer2018-01-031-0/+5
| | | | | | | | | Replaced calls to Filename.temp_file by own version Driveraux.tmp_file. The Driveraux.tmp_file function takes care that the temporary files are removed at exit. Consequently there is no need to explicitly remove temp files in Driver.
* Introduced configuration variable for gnu systems.Bernhard Schommer2017-02-131-3/+0
| | | | | | | The variable gnu_toolchain is true if a gnu toolchain is used and false in all other cases. The variable avoids the explicit test whether the system string is diab and should be easier to change. Bug 20521.
* Print whole command line.Bernhard Schommer2016-08-221-8/+8
| | | | | | | When response files are used CompCert should still print all command line arguments since the response file is deleted after usage. Bug 19297.
* Moved quoting functions in ResponsefileBernhard Schommer2016-08-161-31/+5
| | | | | | Also corrected some typos and corrected exception handling for expandargv. Bug 18308
* Added missing begin end around quoting. Bug 18308.Bernhard Schommer2016-08-101-2/+2
|
* Corrected diab quoting. Bug 18308Bernhard Schommer2016-07-211-8/+11
|
* Added support for quoting for diab backend.Bernhard Schommer2016-07-211-1/+17
| | | | | | The diab data compiler has different quoting conventions compared to the gnu tools. Bug 18308.
* Added simplified reader and printer for gnu @filesBernhard Schommer2016-07-201-8/+13
| | | | | | | | The functions expandargv and writeargv resemble the functions from the libiberity that are used by the gnu tools. Additionaly a new configuration is added in order to determine which kind of response files are supported for calls to other tools. Bug 18308
* Merged responfile function into command.Bernhard Schommer2016-07-191-22/+27
| | | | | | Command now decides whether to use a responsefile or call the external command directly. Bug 18004
* Added heuristic for passing arg via responsefiles.Bernhard Schommer2016-07-121-2/+21
| | | | | | | Since gnu make and other tools under windows seem to have a limit of around 8000 bytes per command line the arguments should be passed via responsefiles instead. Bug 18308
* Moved assembler and linker into own files.Bernhard Schommer2016-06-241-8/+17
| | | | | | The function to call the assembler and the linker are now in own files like the preprocessor. Bug 19197
* Moved shared frontend code in own file.Bernhard Schommer2016-05-241-0/+110
Clightgen and CompCert share the code for preprocessing as well as parsing C files. The code as well as command line switches is moved in the new module Frontend. Bug 18768
generated by cgit (git 2.34.1) at 2024-05-20 01:12:30 +0000