X-Git-Url: http://git.onelab.eu/?a=blobdiff_plain;f=globals.ml;h=ed147cf92d4aee926bceef09ce201d4c30395ec8;hb=8ed94d4c37a320acc03f1f3f6523201b42202f00;hp=26230b84591357fa8169d514ea6b570e4868d931;hpb=2955cde23cac50c0ad569745974746993b171524;p=vsys.git

diff --git a/globals.ml b/globals.ml
index 26230b8..ed147cf 100644
--- a/globals.ml
+++ b/globals.ml
@@ -1,8 +1,12 @@
-let frontend = ref ""
 let backend = ref ""
 let debug = ref true
+let vsys_version = "0.5"
 
-type fd_and_fname = string option * Unix.file_descr
+type result = Success | Failed
+
+type fname_and_fd = string option * Unix.file_descr
+
+(* Relative path, never precededed by a '/' *)
 type relpath = Relpath of string
 
 exception Bad_path