diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-01-27 09:31:45 +0100 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-01-27 09:31:45 +0100 |
| commit | 659a1b55f454fc262826e4edf7d938f01ae04263 (patch) | |
| tree | a0ce4395e7d8816595662c7f55bcefae62396b12 /driver | |
| parent | fa2230c7fc2b20e29251b6b550b046d0dc75f953 (diff) | |
| download | compcert-659a1b55f454fc262826e4edf7d938f01ae04263.tar.gz compcert-659a1b55f454fc262826e4edf7d938f01ae04263.zip | |
Added version and compiler working directory to options dump.
Diffstat (limited to 'driver')
| -rw-r--r-- | driver/Optionsprinter.ml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/driver/Optionsprinter.ml b/driver/Optionsprinter.ml index 6302f210..f046b40a 100644 --- a/driver/Optionsprinter.ml +++ b/driver/Optionsprinter.ml @@ -132,6 +132,10 @@ let print_machine oc = let print file stdlib = let oc = open_out file in fprintf oc "{"; + p_jmember oc "Version" p_jstring Version.version; + p_jmember oc "Buildnr" p_jstring Version.buildnr; + p_jmember oc "Tag" p_jstring Version.tag; + p_jmember oc "Cwd" p_jstring (Sys.getcwd ()); fprintf oc "%a:%t" p_jstring "Clflags" print_clflags; p_jmember oc "Configurations" print_configurations stdlib; fprintf oc "%a:%t" p_jstring "Machine" print_machine; |