Commit 88a306ec authored by erwan's avatar erwan
Browse files

fix: allow dot files to start with a relative path

parent 6122a582
Pipeline #72252 passed with stages
in 3 minutes and 29 seconds
(* Time-stamp: <modified the 21/05/2021 (at 17:18) by Erwan Jahier> *)
(* Time-stamp: <modified the 27/07/2021 (at 09:20) by Erwan Jahier> *)
let seed = ref None
let replay_seed = ref false
......@@ -32,6 +32,7 @@ let reset () = seed := None
let rec (get : string -> int) =
fun label ->
let label = Filename.basename label in
match !seed with
| Some i -> i
| None ->
......
(* Time-stamp: <modified the 23/07/2021 (at 11:19) by Erwan Jahier> *)
(* Time-stamp: <modified the 27/07/2021 (at 09:19) by Erwan Jahier> *)
open Register
......@@ -207,6 +207,7 @@ let (make : bool -> string array -> 'v t) =
let cmxs = (Filename.chop_extension dot_file) ^ ".cmxs" in
if args.gen_register then (
let base = Filename.chop_extension dot_file in
let base = Filename.basename base in
let base = Str.global_replace (Str.regexp "\\.") "" base in
let ml_register_file = base ^ ".ml" in
let ml_state_file = "state.ml" in
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment