| Commit message (Collapse) | Author | Age | Files | Lines |
|\ |
|
| |
| |
| |
| |
| |
| | |
The diab data compiler has different quoting conventions compared
to the gnu tools.
Bug 18308.
|
| |
| |
| |
| |
| |
| |
| |
| | |
The functions expandargv and writeargv resemble the functions from
the libiberity that are used by the gnu tools. Additionaly a new
configuration is added in order to determine which kind of response
files are supported for calls to other tools.
Bug 18308
|
|/
|
|
|
|
|
|
| |
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
|
|
|
|
|
|
| |
The configuration advanced debug is removed and now full debug
information is also generated for ia32 and arm.
Bug 17609
|
|
|
|
|
|
| |
Added additional configuration entries to seperate tools from options in the
.ini files. Internally they are just concatenated in Configuration.ml which
allows it to still use old .ini files.
|
| |
|
|
|
|
|
|
| |
This option allows it to specify a .ini file that is in the usual
search path.
Bug 17431
|
|
|
|
|
|
|
|
| |
The tools now can be specified by 3 ways:
-Relative to the compcert.ini file
-With absolute path to the location
-As a simple filename which lies on the PATH variable.
Bug 17431
|
|
|
|
|
|
| |
The path to the libcompert folder can be specified relative to the
location of the compcert.ini file.
Bug 17431
|
|
|
|
|
| |
The option --conf allows it to overwrite the compcert.ini file.
Bug 17431.
|
| |
|
|
|
|
| |
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.
|