utils/Repo: add_prefix

pveber · Nov 6, 2017 · 9104656 · 9104656
1 parent ffd45e7
commit 9104656
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 0 deletions.
diff --git a/lib/utils/repo.ml b/lib/utils/repo.ml
@@ -92,3 +92,8 @@ let to_term ?(precious = []) ~outdir items =
 
 let build ?np ?mem ?logger ?keep_all ?precious ?bistro_dir ~outdir repo =
   Term.run ?np ?mem ?logger ?keep_all ?bistro_dir (to_term ~outdir ?precious repo)
+
+let add_prefix prefix items =
+  List.map items ~f:(function
+      | Repo_item (p, w) -> Repo_item (prefix @ p, w)
+    )
diff --git a/lib/utils/repo.mli b/lib/utils/repo.mli
@@ -7,6 +7,8 @@ type t = item list
 
 val ( %> ) : string list -> _ workflow -> item
 
+val add_prefix : string list -> t -> t
+
 val to_term :
   ?precious:Bistro.any_workflow list ->
   outdir:string ->