Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | bug 17392: remove trailing whitespace in source files | Michael Schmidt | 2015-10-14 | 1 | -6/+6 |
| | |||||
* | Added the directory ../share/compcert to the search path for .ini files and ↵ | Bernhard Schommer | 2015-08-23 | 1 | -9/+12 |
| | | | | replaced the if else for the different possibilities by a List.find. | ||||
* | Removed the version from the compcert.ini file and add it again in a ↵ | Bernhard Schommer | 2015-07-01 | 1 | -1/+0 |
| | | | | separate file. | ||||
* | Provide and use compiler-dependent standard headers. | Xavier Leroy | 2015-04-25 | 1 | -0/+5 |
| | | | | | | | | | | | | This branch provides implementations of the following standard headers: <float.h> <stdarg.h> <stdbool.h> <stddef.h> <varargs.h> These are the headers that are provided by GCC and Clang, as opposed to being provided by Glibc and similar C standard libraries. Configuration flag "-no-standard-headers" deactivates the installation and use of these headers. Lightly tested so far (IA32 Linux). | ||||
* | 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. |