aboutsummaryrefslogtreecommitdiffstats
path: root/driver/Driver.ml
Commit message (Collapse)AuthorAgeFilesLines
...
* Merge pull request #139 from AbsInt/advanced-diagnosticsBernhard Schommer2016-09-201-31/+34
|\ | | | | Advanced diagnostics
| * Merge branch 'master' into advanced-diagnosticsBernhard Schommer2016-08-291-2/+17
| |\
| * | Additional test for color output.Bernhard Schommer2016-08-051-26/+27
| | | | | | | | | | | | | | | | | | Color output is only enabled if stderr is a tty, and the environment variable TERM is not empty or dumb. Bug 18004
| * | Classified all warnings and added various options.Bernhard Schommer2016-07-291-5/+7
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Now each warning either has a name and can be turned on/off, made into an error,etc. or is a warning that always will be triggered. The message of the warnings are similar to the ones emited by gcc/clang and all fit into one line. Furthermore the diagnostics are now colored if colored output is available. Bug 18004
* | | Added option to specify sdump folder. Fix 19816.Bernhard Schommer2016-09-161-2/+7
| |/ |/|
* | fix merge conflictsMichael Schmidt2016-08-171-0/+1
|\ \
| * \ Merge pull request #107 from AbsInt/add-fileXavier Leroy2016-08-171-0/+1
| |\ \ | | | | | | | | Add support for response files
| | * | Added responsefile support for commandline.Bernhard Schommer2016-07-081-0/+1
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Commandline can now be passed in a file specifed with @file on the Commandline. The quoting convention is similar to the one used by gcc, etc. Options are separated by whitespaces and options with whitespaecs need to be quoted. Bug 18303
* | | | Implement support for big endian arm targets.Bernhard Schommer2016-08-051-1/+3
|/ / / | | | | | | | | | | | | | | | | | | | | | Adds support for the big endian arm targets by making the target endianess flag configurable, adding support for the big endian calling conventions, rewriting memory access patterns and adding big endian versions of the runtime functions. Bug 19418
* | / Added -dall which enables all tracing.Bernhard Schommer2016-08-021-0/+12
| |/ |/|
* | add missing asmexpand step to cminor handler in driverMichael Schmidt2016-07-011-21/+27
|/
* Also add braces for arm. Bug 19197Bernhard Schommer2016-06-241-2/+2
|
* Moved assembler and linker into own files.Bernhard Schommer2016-06-241-110/+9
| | | | | | 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-62/+82
| | | | | | 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
* Added version string to Clightgen.Bernhard Schommer2016-05-241-1/+1
| | | | | | Clightgen now also prints a version string. Also the CompCert version string is now similar in both modes. Bug 18768.
* Moved shared frontend code in own file.Bernhard Schommer2016-05-241-275/+105
| | | | | | | 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
* Moved some system functions into own module.Bernhard Schommer2016-05-241-68/+1
| | | | | | The process handling is now in its own file, like the output name generation etc. Bug 18768
* Added option to pass linker options to gcc.Bernhard Schommer2016-05-131-0/+2
| | | | | | | | Some gcc options have influence on the linking (especially -march, etc.). The new -WUl options allows it to pass the options to the gcc called for linking instead of passing them to the linker directly. Bug 18949.
* bug 18004, fix file extensions for dparse optionMichael Schmidt2016-04-251-1/+1
|
* Enabled Werror via command line option.Bernhard Schommer2016-04-251-0/+1
| | | | | | The new command line option -Werror activates the treatment of warnings as errors. Bug 18004
* Deactivate warning 27 and added back removed code.Bernhard Schommer2016-03-151-5/+5
| | | | | | The code was mostly there for documentation effort. So warning 27 is deactivated again. Bug 18349
* Code cleanup.Bernhard Schommer2016-03-101-14/+14
| | | | | | Removed some unused variables, functions etc. and resolved some problems which occur if all warnings except 3,4,9 and 29 are active. Bug 18394.
* Added more support for gcc options.Bernhard Schommer2016-03-021-4/+75
| | | | | | | | | | | | | | | | | | | | | | | Added the gcc options for the preprocessor: -Xpreprocessor -M -MM -MF -MG -MP -MT -MQ -nostdinc -imacros -idirafter -isystem -iquote -P -C -CC Also warn for not supported GCC options in the diab case. Bug 18066
* Added gcc's Xassembler option.Bernhard Schommer2016-02-291-3/+8
| | | | | | | The Xassembler option passes one option to the assembler and can be used to pass options to the underlying assembler that the gcc driver does not recognize. Bug 18066
* Fixed typo. Bug 18066Bernhard Schommer2016-02-291-3/+4
|
* Added some gcc linker options.Bernhard Schommer2016-02-261-0/+22
| | | | | | | | | | | CompCert now recognizes the gcc linker options: -nostartfiles -nodefaultlibs -nostdlib -s -Xlinker <opt> -u <symb> Bug 18066.
* 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
| | | | | The new option -static passes the -static flag to the linker. Bug 18066.
* 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
| | | | | | | The -include option is passed to the preprocessor and -include <file> is equivalent to writting #include "<file>" as first line in the primary source file. Bug 18066.
* Added new option -doptions.Bernhard Schommer2016-01-271-3/+14
| | | | | | The new options dumps the compiler options in a json file per. This includes the clflags, compcert.ini and machine settings. Bug 17988.
* 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
| | | | The new option -dprepro allows it to keep the preprocessed source code files.
* More descriptive error message for failed command.Bernhard Schommer2016-01-111-4/+14
| | | | | | | CompCert now prints if the assembler, linker or preprocessor command failed and a hint for the user to get the full command line. Bug 17894
* add options for include paths also to the command line of the assembler, bug ↵Michael Schmidt2015-12-231-2/+4
| | | | 17838
* Merge pull request #79 from AbsInt/config-optionXavier Leroy2015-12-191-1/+2
|\ | | | | Add "-conf <filename>" command-line option. Support relative paths for stdlib and tools.
| * Add a target option.Bernhard Schommer2015-12-111-1/+2
| | | | | | | | | | | | This option allows it to specify a .ini file that is in the usual search path. Bug 17431
* | Revise and simplify the -fstruct-return and -fstruct-passing options.Xavier Leroy2015-12-081-30/+8
|/ | | | | | - Rename '-fstruct-return' into '-fstruct-passing', because this emulation affects both function result passing and function argument passing. Keep '-fstruct-return' as a deprecated synonymous for '-fstruct-passing' - Remove the ability to change the ABI for struct passing via the '-fstruct-passing=<abi>' and '-fstruct-return=<abi>' command-line flags. This was more confusing than useful. - Produce an error if a struct/union is passed as function argument and '-fstruct-passing' is not set. This used to be supported, using CompCert's default ABI for passing struct arguments. However, this default ABI does not match any of the standard ABIs of our target platforms, so it is better to reject than to silently produce ABI-incompatible code.
* New option --conf.Bernhard Schommer2015-11-261-0/+1
| | | | | The option --conf allows it to overwrite the compcert.ini file. Bug 17431.
* Separate assembler options for the diab backend.Bernhard Schommer2015-11-201-1/+4
| | | | | | The diab backend calls the assembler directly and does not call the compiler like for the gcc based backends. Fix 17668.
* 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
| | | | | | | | | | | The new option gdepth subumes the gonly-globals. The option allows it to control the level of information that is produced. This option allows it to generate debugging inforation for: -Only globals -Global and local variables but without location information for the local variable -Full information Bug 17638.
* Harden Driver.command against EINTR errorsXavier Leroy2015-11-101-1/+5
| | | | Sometimes, Unix.waitpid returns early with a EINTR error code, e.g. if a signal was handled. (Observed while running ccomp under the lldb debugger in MacOS X). Just restart Unix.waitpid in this case.
* New option to control the debug information build.Bernhard Schommer2015-11-041-0/+2
| | | | | | The new option -gonly-global allows the generation of debuging information for global variables only. Bug 17566.
* Added additional option for the renaming of the suffix of the sdumpBernhard Schommer2015-10-231-2/+6
| | | | | | | | file. The new option -sdump-suffix allows it to specify another suffix for the sdump file. Bug 17326
* Do not dump the .sdump files.Bernhard Schommer2015-10-161-15/+2
| | | | Bug 16529.
* Implemented the usage of DW_AT_ranges for non-contiguous address ranges.Bernhard Schommer2015-10-161-1/+7
| | | | | | | | | | The gcc produces DW_AT_ranges for non-contiguous address ranges, like compilation units containing functions which are placed in different ELF-sections or lexical scopes that are split up. With this commit CompCert also uses this DWARF v3 feature for gnu backend based targets. In order to ensure backward compability a flag is added which avoids this and produces debug info in DWARF v2 format. Bug 17392.
* bug 17392: remove trailing whitespace in source filesMichael Schmidt2015-10-141-4/+4
|
generated by cgit (git 2.34.1) at 2024-07-03 19:42:51 +0000