File: add cwd option to find_in_parents

compiler/catala_utils/file.ml

@@ -111,7 +111,8 @@ let reverse_path ?(from_dir = Sys.getcwd ()) ~to_dir f =
     String.concat Filename.dir_sep
       (aux (path_to_list f) rbase (path_to_list to_dir))
 
-let find_in_parents predicate =
+let find_in_parents ?cwd predicate =
+  let cwd = match cwd with None -> Sys.getcwd () | Some cwd -> cwd in
   let home = try Sys.getenv "HOME" with Not_found -> "" in
   let rec lookup dir rel =
     if predicate dir then Some dir, rel
@@ -121,7 +122,7 @@ let find_in_parents predicate =
       if parent = dir then None, Filename.current_dir_name
       else lookup parent (rel / Filename.parent_dir_name)
   in
-  match lookup (Sys.getcwd ()) Filename.current_dir_name with
+  match lookup cwd Filename.current_dir_name with
   | Some dir, rel -> Some (dir, rel)
   | None, _ -> None
 

compiler/catala_utils/file.mli

@@ -125,11 +125,12 @@ val reverse_path : ?from_dir:t -> to_dir:t -> t -> t
     leading to [f] from [to_dir]. The results attempts to be relative to
     [to_dir]. *)
 
-val find_in_parents : (t -> bool) -> (t * t) option
-(** Checks for the first directory matching the given predicate from the current
-    directory upwards. Recursion stops at home. Returns a pair [dir, rel_path],
-    where [dir] is the ancestor directory matching the predicate, and [rel_path]
-    is a path pointing to it from the current dir. *)
+val find_in_parents : ?cwd:t -> (t -> bool) -> (t * t) option
+(** Checks for the first directory matching the given predicate from [cwd]
+    upwards (defaults to the current directory). Recursion stops at home.
+    Returns a pair [dir, rel_path], where [dir] is the ancestor directory
+    matching the predicate, and [rel_path] is a path pointing to it from the
+    current dir. *)
 
 val ( /../ ) : t -> t -> t
 (** Sugar for [parent a / b] *)