# # # patch "main.ml" # from [8e7e32724f4bd07a10a9c6caee878dfff2b33281] # to [da53d0dbc3131f2a54864f8394be9c0b9eb84cf3] # # patch "viz_style.ml" # from [57da0f658c445e9f543c3f26f66c46e96c2a41bd] # to [9f453028636cbd6f0dbc058a8cbb38a4880c563e] # ============================================================ --- main.ml 8e7e32724f4bd07a10a9c6caee878dfff2b33281 +++ main.ml da53d0dbc3131f2a54864f8394be9c0b9eb84cf3 @@ -15,19 +15,24 @@ (Lexing.from_string (String.sub s 1 (len - 1))) else s -let find_MT_dir () = +let find_MT_dir base = let rec up = function | "/" -> raise Not_found | p -> let d = Filename.dirname p in - let m = Filename.concat d "MT" in + let m = Filename.concat d base in if Sys.file_exists m then m else up d in - if Sys.file_exists "MT" - then "MT" + if Sys.file_exists base + then base else up (Sys.getcwd ()) +let find_MT_dir () = + try find_MT_dir "_MTN" + with Not_found -> find_MT_dir "MT" + + let parse_MT_options () = let mt_file = let mt_dir = Lazy.lazy_from_fun find_MT_dir in ============================================================ --- viz_style.ml 57da0f658c445e9f543c3f26f66c46e96c2a41bd +++ viz_style.ml 9f453028636cbd6f0dbc058a8cbb38a4880c563e @@ -247,7 +247,7 @@ font = "Monospace 8" ; autocolor = BY_KEYID ; lr_layout = false ; - monotone_path = "monotone" ; + monotone_path = "mtn" ; dot_path = "dot" ; ignored_certs = [] ; style = [] ;