From 659a1b55f454fc262826e4edf7d938f01ae04263 Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Wed, 27 Jan 2016 09:31:45 +0100
Subject: Added version and compiler working directory to options dump.

---
 driver/Optionsprinter.ml | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'driver')

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;
-- 
cgit