X-Git-Url: http://git.onelab.eu/?a=blobdiff_plain;ds=sidebyside;f=globals.ml;fp=globals.ml;h=26230b84591357fa8169d514ea6b570e4868d931;hb=2955cde23cac50c0ad569745974746993b171524;hp=0000000000000000000000000000000000000000;hpb=0cde795f81e9daba10f22018a4edb36685f412d1;p=vsys.git

diff --git a/globals.ml b/globals.ml
new file mode 100644
index 0000000..26230b8
--- /dev/null
+++ b/globals.ml
@@ -0,0 +1,9 @@
+let frontend = ref ""
+let backend = ref ""
+let debug = ref true
+
+type fd_and_fname = string option * Unix.file_descr
+type relpath = Relpath of string
+
+exception Bad_path 
+exception Bug