Add codename to version handling. This should ease making release.

Development codename is "dev"

configure.ac

 define([gitversion], esyscmd([sh -c "git log --oneline | wc -l | tr -d '\n'"]))
-AC_INIT([lustrec], [1.1-gitversion], [ploc@garoche.net])
 
+AC_INIT([lustrec], [1.2-gitversion], [ploc@garoche.net])
+AC_SUBST(VERSION_CODENAME, "dev")
+#AC_INIT([lustrec], [1.2], [ploc@garoche.net])
+#AC_SUBST(VERSION_CODENAME, "Xia/Tai-Kang")
 
 #AC_DEFINE(SVN_REVISION, "svnversion", [SVN Revision])
 #AC_SUBST(SVN_REVISION)

src/options.ml

@@ -10,10 +10,11 @@
 (********************************************************************)
 
 let version = Version.number
+let codename = Version.codename
 let include_path = Version.include_path
 
 let print_version () =
-  Format.printf "Lustrec compiler, version %s (dev)@." version;
+  Format.printf "Lustrec compiler, version %s (%s)@." version codename;
   Format.printf "Include directory: %s@." include_path
 
 let main_node = ref ""

src/version.ml.in

 
 let number = "@PACKAGE_VERSION@"
 
+let codename ="@VERSION_CODENAME@"
+
 let prefix = "@prefix@"
 
 let include_path = prefix ^ "/include/lustrec"