Generate version.ml from satysfi.opam to make releasing easy

src/dune

@@ -39,6 +39,11 @@
  (modules parser dataParser)
  (flags (--table --explain)))
 
+(rule
+ (targets version.ml)
+ (deps  ../tools/genversion/genversion.exe (:src ../satysfi.opam))
+ (action (with-stdout-to %{targets} (run %{deps}))))
+
 (rule
  (targets types.ml)
  (deps    (:src types.cppo.ml) __insttype.gen.ml __attype.gen.ml __codetype.gen.ml __unliftcode.gen.ml)

src/frontend/main.ml

@@ -1006,7 +1006,7 @@ let error_log_environment suspended =
 
 let arg_version () =
   print_string (
-    "  SATySFi version 0.0.10\n"
+    (Printf.sprintf "  SATySFi version %s\n" Version.version)
 (*
       ^ "  (in the middle of the transition from Macrodown)\n"
       ^ "    ____   ____       ________     _____   ______\n"

tools/genversion/dune

@@ -0,0 +1,3 @@
+(executable
+ (name genversion)
+ (libraries str))

tools/genversion/dune-project

@@ -0,0 +1 @@
+(lang dune 1.0)

tools/genversion/genversion.ml

@@ -0,0 +1,21 @@
+let version_regex = Str.regexp {|^version: ?"\([0-9]+\.[0-9]+\.[0-9]+\)"$|}
+
+let () =
+  let version = ref "" in
+  let opam_file_path = Sys.argv.(1) in
+  let channel_in = open_in opam_file_path in
+  let search_version () =
+    let cond = ref true in
+    while !cond do
+      let line = input_line channel_in in
+      try
+        let _ = Str.search_forward version_regex line 0 in
+        version := Str.matched_group 1 line;
+        cond := false
+      with Not_found ->
+        ()
+    done
+  in
+  search_version ();
+  close_in channel_in;
+  print_endline ("let version = \"" ^ !version ^ "\"")