aboutsummaryrefslogtreecommitdiffstats
path: root/driver/Driver.ml
Commit message (Expand)AuthorAgeFilesLines
* Deactivate warning 27 and added back removed code.Bernhard Schommer2016-03-151-5/+5
* Code cleanup.Bernhard Schommer2016-03-101-14/+14
* Added more support for gcc options.Bernhard Schommer2016-03-021-4/+75
* Added gcc's Xassembler option.Bernhard Schommer2016-02-291-3/+8
* Fixed typo. Bug 18066Bernhard Schommer2016-02-291-3/+4
* Added some gcc linker options.Bernhard Schommer2016-02-261-0/+22
* bug 18209, make message compatible to clangMichael Schmidt2016-02-231-1/+1
* bug 18209, check that input files existMichael Schmidt2016-02-231-0/+14
* Added new option for static linking.Bernhard Schommer2016-02-161-0/+2
* Fixed regression introduced by refactoring of Driver.ml.Bernhard Schommer2016-02-151-3/+7
* Added gcc cmd-line option -include.Bernhard Schommer2016-02-031-0/+3
* Added new option -doptions.Bernhard Schommer2016-01-271-3/+14
* Added printer for Configuration and finished Clflags.Bernhard Schommer2016-01-251-28/+26
* Started implementing a printer for Clflags.Bernhard Schommer2016-01-251-0/+1
* Added option to dump preprocessed source code.Bernhard Schommer2016-01-221-4/+12
* More descriptive error message for failed command.Bernhard Schommer2016-01-111-4/+14
* add options for include paths also to the command line of the assembler, bug ...Michael Schmidt2015-12-231-2/+4
* Merge pull request #79 from AbsInt/config-optionXavier Leroy2015-12-191-1/+2
|\
| * Add a target option.Bernhard Schommer2015-12-111-1/+2
* | Revise and simplify the -fstruct-return and -fstruct-passing options.Xavier Leroy2015-12-081-30/+8
|/
* New option --conf.Bernhard Schommer2015-11-261-0/+1
* Separate assembler options for the diab backend.Bernhard Schommer2015-11-201-1/+4
* Added the compilation unit in the json export. Bug 17659.Bernhard Schommer2015-11-191-4/+4
* Added now option to control debug output.Bernhard Schommer2015-11-161-2/+9
* Harden Driver.command against EINTR errorsXavier Leroy2015-11-101-1/+5
* New option to control the debug information build.Bernhard Schommer2015-11-041-0/+2
* Added additional option for the renaming of the suffix of the sdumpBernhard Schommer2015-10-231-2/+6
* Do not dump the .sdump files.Bernhard Schommer2015-10-161-15/+2
* Implemented the usage of DW_AT_ranges for non-contiguous address ranges.Bernhard Schommer2015-10-161-1/+7
* bug 17392: remove trailing whitespace in source filesMichael Schmidt2015-10-141-4/+4
* Push the linker args separate.Bernhard Schommer2015-10-061-2/+4
* More refactoring of the Debug Information.Bernhard Schommer2015-09-271-1/+1
* Move more functionality in the new interface.Bernhard Schommer2015-09-161-4/+5
* Add the debug interface file.Bernhard Schommer2015-09-161-0/+1
* Merge branch 'new-builtins'Bernhard Schommer2015-09-011-2/+4
|\
| * Improve error reporting in Asmexpand.Xavier Leroy2015-08-241-2/+4
* | Improve printing of internal compiler errors.Xavier Leroy2015-08-251-2/+2
* | Fixed the -T option.Bernhard Schommer2015-08-251-1/+1
* | Count number of input files and do not use number of source files for warning...Bernhard Schommer2015-08-241-12/+14
* | Added error message when no input file is specified.Bernhard Schommer2015-08-231-0/+5
|/
* Added command line option to specify a linker command file for the linker.Bernhard Schommer2015-08-201-0/+5
* Also print the system in the output to differentiate between diab and gcc pro...Bernhard Schommer2015-08-051-2/+2
* Diab defines w_char to be unsigned short.Bernhard Schommer2015-07-071-1/+3
* Merge branch 'master' into json_exportBernhard Schommer2015-07-061-10/+23
|\
| * Added Build, Tag, etc in version string and driver/Version.ml should be ignoredBernhard Schommer2015-07-011-1/+1
| * Removed the version from the compcert.ini file and add it again in a separate...Bernhard Schommer2015-07-011-2/+5
| * Added --version option to print version string.Bernhard Schommer2015-06-261-9/+19
* | Merge branch 'master' into json_exportBernhard Schommer2015-06-171-2/+4
|\|
| * Merge pull request #43 from AbsInt/standard-headersXavier Leroy2015-06-081-2/+2
| |\
| | * Provide and use compiler-dependent standard headers.Xavier Leroy2015-04-251-2/+2
generated by cgit (git 2.34.1) at 2024-06-29 05:03:57 +0000