Post 1.1 release.

Back to dev version


git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@473 041b043f-8d7c-46b2-b46e-ef0dd855326e

configure.ac

 define([svnversion], esyscmd([sh -c "svnversion|sed "s/:.*//"|tr -d '\n'"]))dnl
-AC_INIT([lustrec], [1.1], [ploc@garoche.net])
+AC_INIT([lustrec], [1.1-svnversion], [ploc@garoche.net])
 
 
 AC_DEFINE(SVN_REVISION, "svnversion", [SVN Revision])

src/options.ml

@@ -13,7 +13,7 @@ let version = Version.number
 let include_path = Version.include_path
 
 let print_version () =
-  Format.printf "Lustrec compiler, version %s (Xia/Qi)@." version;
+  Format.printf "Lustrec compiler, version %s (dev)@." version;
   Format.printf "Include directory: %s@." include_path
 
 let main_node = ref ""