diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-11-19 12:57:40 +0100 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-11-19 12:57:40 +0100 |
commit | cf417332491f1c2a738705d4f1d874e4edd4d636 (patch) | |
tree | f0a5626969492ab968f9555d73f97e6b2a93ebec /driver/Driver.ml | |
parent | 1f51841a41b98ecaed25d84c848fc161d8d18e2a (diff) | |
download | compcert-cf417332491f1c2a738705d4f1d874e4edd4d636.tar.gz compcert-cf417332491f1c2a738705d4f1d874e4edd4d636.zip |
Added the compilation unit in the json export. Bug 17659.
Diffstat (limited to 'driver/Driver.ml')
-rw-r--r-- | driver/Driver.ml | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/driver/Driver.ml b/driver/Driver.ml index 4a79d7e7..a8f762fd 100644 --- a/driver/Driver.ml +++ b/driver/Driver.ml @@ -155,10 +155,10 @@ let parse_c_file sourcename ifile = let jdump_magic_number = "CompCertJDUMP" ^ Version.version -let dump_jasm asm destfile = +let dump_jasm asm sourcename destfile = let oc = open_out_bin destfile in - fprintf oc "{\n\"Version\":\"%s\",\n\"System\":\"%s\",\n\"Asm Ast\":%a}" - jdump_magic_number Configuration.system AsmToJSON.p_program asm; + fprintf oc "{\n\"Version\":\"%s\",\n\"System\":\"%s\"\n,\"Compilation Unit\":\"%s\",\n\"Asm Ast\":%a}" + jdump_magic_number Configuration.system sourcename AsmToJSON.p_program asm; close_out oc @@ -187,7 +187,7 @@ let compile_c_ast sourcename csyntax ofile debug = exit 2 in (* Dump Asm in binary and JSON format *) if !option_sdump then - dump_jasm asm (output_filename sourcename ".c" !sdump_suffix); + dump_jasm asm sourcename (output_filename sourcename ".c" !sdump_suffix); (* Print Asm in text form *) let oc = open_out ofile in PrintAsm.print_program oc asm debug; |