Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Merge branch 'master' into dwarf | Bernhard Schommer | 2015-03-31 | 1 | -0/+27 |
|\ | | | | | | | | | | | Conflicts: Makefile driver/Driver.ml | ||||
| * | Improvements in the StructReturn transformation (ABI conformance for passing ↵ | Xavier Leroy | 2015-03-20 | 1 | -0/+27 |
| | | | | | | | | | | | | | | | | composites). - Implement the "1/2/4/8" composite return policy, used by IA32/MacOS X and IA32/BSD. - Move the default passing conventions from Machine.ml to compcert.ini, making it easier to test the various conventions. - More comprehensive interoperability test in regression/interop1.c. | ||||
* | | Started implementing the printing functions for the debug info. Added a ↵ | Bernhard Schommer | 2015-03-16 | 1 | -0/+6 |
|/ | | | | global target dependend option to activate the printing only for targets wher it works. | ||||
* | Use Unix.create_process instead of Sys.command (continued). | Xavier Leroy | 2014-12-29 | 1 | -62/+63 |
| | |||||
* | Stdlib path is ignored when the configuration has_runtime_lib is set to false. | Bernhard Schommer | 2014-12-15 | 1 | -2/+7 |
| | |||||
* | Removed unused variable and changed the search for the installation ↵ | Bernhard Schommer | 2014-12-04 | 1 | -1/+1 |
| | | | | directory. Use Sys.executable_name instead of Sys.argv.(0). | ||||
* | Removed environment variable for the stdlib_path and added a new variable ↵ | Bernhard Schommer | 2014-10-06 | 1 | -11/+15 |
| | | | | for the configuration file. | ||||
* | Change the way the tools like the linker, assembler, etc. are specified by ↵ | Bernhard Schommer | 2014-09-30 | 1 | -0/+86 |
including an .ini file parser. The .ini file is generated in the Makefile instead of the Configuration.ml file and parsed on start. |