| Commit message (Collapse) | Author | Age | Files | Lines |
|
|
|
| |
replaced the if else for the different possibilities by a List.find.
|
|
|
|
| |
separate file.
|
|
|
|
|
|
|
|
|
|
|
|
| |
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).
|
|\
| |
| |
| |
| |
| | |
Conflicts:
Makefile
driver/Driver.ml
|
| |
| |
| |
| |
| |
| |
| |
| | |
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.
|
|/
|
|
| |
global target dependend option to activate the printing only for targets wher it works.
|
| |
|
| |
|
|
|
|
| |
directory. Use Sys.executable_name instead of Sys.argv.(0).
|
|
|
|
| |
for the configuration file.
|
|
including an .ini file parser. The .ini file is generated in the Makefile instead of the Configuration.ml file and parsed on start.
|