| Commit message (Collapse) | Author | Age | Files | Lines |
|
|
|
|
|
|
|
|
| |
Replaced calls to Filename.temp_file by own version Driveraux.tmp_file.
The Driveraux.tmp_file function takes care that the temporary files are
removed at exit.
Consequently there is no need to explicitly remove temp files in Driver.
|
|
|
|
|
|
|
| |
The variable gnu_toolchain is true if a gnu toolchain is used and
false in all other cases. The variable avoids the explicit test
whether the system string is diab and should be easier to change.
Bug 20521.
|
|
|
|
|
|
|
| |
When response files are used CompCert should still print all
command line arguments since the response file is deleted after
usage.
Bug 19297.
|
|
|
|
|
|
| |
Also corrected some typos and corrected exception handling for
expandargv.
Bug 18308
|
| |
|
| |
|
|
|
|
|
|
| |
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
|
|
|
|
|
|
| |
Command now decides whether to use a responsefile or call the
external command directly.
Bug 18004
|
|
|
|
|
|
|
| |
Since gnu make and other tools under windows seem to have a limit
of around 8000 bytes per command line the arguments should be
passed via responsefiles instead.
Bug 18308
|
|
|
|
|
|
| |
The function to call the assembler and the linker are now in own
files like the preprocessor.
Bug 19197
|
|
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
|