aboutsummaryrefslogtreecommitdiffstats
path: root/driver/Frontend.ml
Commit message (Collapse)AuthorAgeFilesLines
* Move machine initialization to Frontend.init function. (#49)Bernhard Schommer2018-01-111-0/+25
| | | | | The initialization of Machine.config, as well as the calls to various initialization functions for the C front-end, are now performed by the new `Frontend.init` function. This avoids code duplication in driver/Driver.ml and exportclight/Clightgen.ml.
* Handle dcompcertc and dparsedc like all dump opts.Bernhard Schommer2018-01-041-12/+2
| | | | | This time with the correct place for setting the destination files. Bug 20521
* Introduced configuration variable for gnu systems.Bernhard Schommer2017-02-131-2/+2
| | | | | | | 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.
* Use quoted strings.Bernhard Schommer2017-01-181-32/+34
| | | | | | Instead of escaping all newlines etc for the help options use quoted strings. Bug 19872
* Moved assembler and linker into own files.Bernhard Schommer2016-06-241-2/+2
| | | | | | The function to call the assembler and the linker are now in own files like the preprocessor. Bug 19197
* Deactivate options target dependend.Bernhard Schommer2016-06-241-48/+49
| | | | | | Options only available for gnu systems or arm target arch are no longer displayed in the help and cannot be selected any longer. Bug 19197
* Moved shared frontend code in own file.Bernhard Schommer2016-05-241-0/+163
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-06-29 11:43:13 +0000