helper

tools/dune

@@ -7,3 +7,8 @@
  (name ci_setup)
  (modules ci_setup)
  (libraries opam-format unix))
+
+(executable
+ (name sync_testsuite)
+ (modules sync_testsuite)
+ (libraries))

tools/sync_testsuite.ml

@@ -0,0 +1,78 @@
+module File = struct
+  type t =
+    | Ml of string
+    | Dir of string
+
+  let compare a b = compare a b
+
+  let concat a b =
+    match b with
+    | Ml x -> Ml (Filename.concat a x)
+    | Dir x -> Dir (Filename.concat a x)
+end
+
+module FileSet = Set.Make (File)
+
+let src, dst =
+  match Sys.argv with
+  | [| _; src; dst |] -> src, dst
+  | _ -> failwith (Printf.sprintf "%s OCAMLTESTDIR JSOOTESTDIR" Sys.executable_name)
+
+let readdir s =
+  Sys.readdir s
+  |> Array.to_seq
+  |> Seq.filter_map (fun f ->
+         if Sys.is_directory (Filename.concat s f)
+         then Some (File.Dir f)
+         else if String.ends_with ~suffix:".ml" f
+         then Some (File.Ml f)
+         else None)
+  |> FileSet.of_seq
+
+let split a b = FileSet.diff a b, FileSet.inter a b, FileSet.diff b a
+
+let _ignore_ = function
+  | "lib-either" -> `Expect
+  | "lib-array" -> `Expect
+  | "lib-bigarray-2" -> `Stubs
+  | "lib-bigarray-file" -> `Mapfile
+  | _ -> `No
+
+let () =
+  let rec diff f a b path =
+    let a0 = Filename.concat a path and b0 = Filename.concat b path in
+    let ad = readdir a0 and bd = readdir b0 in
+    let missing, common, extra = split ad bd in
+    FileSet.iter (fun x -> f (`Missing (File.concat path x))) missing;
+    FileSet.iter (fun x -> f (`Extra (File.concat path x))) extra;
+    FileSet.iter
+      (function
+        | Dir x -> diff f a b (Filename.concat path x)
+        | Ml x -> f (`Same (Filename.concat path x)))
+      common
+  in
+  diff
+    (function
+      | `Missing (Dir x | Ml x) ->
+          if
+            String.starts_with ~prefix:"typing-" x || String.starts_with ~prefix:"tool-" x
+          then ()
+          else if String.starts_with ~prefix:"lib-dynlink" x
+          then ()
+          else if
+            String.starts_with ~prefix:"lib-" x || String.starts_with ~prefix:"prim-" x
+          then Printf.eprintf "missing %s\n" x
+          else ()
+      | `Extra (Dir x | Ml x) -> Printf.eprintf "extra %s\n" x
+      | `Same x -> (
+          Sys.command
+            (Printf.sprintf
+               "patdiff %s %s"
+               (Filename.concat src x)
+               (Filename.concat dst x))
+          |> function
+          | 0 -> ()
+          | _ -> Printf.eprintf "difer %s\n" x))
+    src
+    dst
+    ""