feature(cram): add [setup_script] to cram tests

Signed-off-by: Rudi Grinberg <[email protected]>

refactor: my personal tweaks

Signed-off-by: Rudi Grinberg <[email protected]>

Author: rgrinberg

src/dune_rules/cram/cram_exec.ml

@@ -325,7 +325,7 @@ let cram_commmands commands =
   Buffer.contents buf
 ;;
 
-let create_sh_script cram_stanzas ~temp_dir : sh_script Fiber.t =
+let create_sh_script cram_stanzas ~temp_dir ~setup_scripts : sh_script Fiber.t =
   let script = Path.relative temp_dir "main.sh" in
   let oc = Io.open_out ~binary:true script in
   Fiber.finalize ~finally:(fun () -> Fiber.return @@ close_out oc)
@@ -374,6 +374,15 @@ let create_sh_script cram_stanzas ~temp_dir : sh_script Fiber.t =
         }
   in
   fprln oc "trap 'exit 0' EXIT";
+  let* () =
+    Fiber.sequential_iter setup_scripts ~f:(fun (script_path : Path.t) ->
+      let+ script_sh_path = sh_path script_path in
+      fprln oc ". %s" script_sh_path;
+      match script_path with
+      | In_source_tree _ -> assert false
+      | External _ -> ()
+      | In_build_dir _ -> fprln oc "rm -f %s" script_sh_path)
+  in
   let+ cram_to_output = Fiber.sequential_map ~f:loop cram_stanzas in
   let command_count = !i in
   let metadata_file = Option.some_if (command_count > 0) metadata_file in
@@ -413,9 +422,9 @@ let make_temp_dir ~script =
   temp_dir
 ;;
 
-let run_cram_test env ~src ~script ~cram_stanzas ~temp_dir ~cwd ~timeout =
+let run_cram_test env ~src ~script ~cram_stanzas ~temp_dir ~cwd ~timeout ~setup_scripts =
   let open Fiber.O in
-  let* sh_script = create_sh_script cram_stanzas ~temp_dir in
+  let* sh_script = create_sh_script cram_stanzas ~temp_dir ~setup_scripts in
   let env = make_run_env env ~temp_dir ~cwd in
   let open Fiber.O in
   let sh =
@@ -483,13 +492,21 @@ let run_cram_test env ~src ~script ~cram_stanzas ~temp_dir ~cwd ~timeout =
       (timeout_msg @ [ timeout_set_message ])
 ;;
 
-let run_produce_correction ~conflict_markers ~src ~env ~script ~timeout lexbuf =
+let run_produce_correction
+      ~conflict_markers
+      ~src
+      ~env
+      ~script
+      ~timeout
+      ~setup_scripts
+      lexbuf
+  =
   let temp_dir = make_temp_dir ~script in
   let cram_stanzas = cram_stanzas lexbuf ~conflict_markers in
   let cwd = Path.parent_exn script in
   let env = make_run_env env ~temp_dir ~cwd in
   let open Fiber.O in
-  run_cram_test env ~src ~script ~cram_stanzas ~temp_dir ~cwd ~timeout
+  run_cram_test env ~src ~script ~cram_stanzas ~temp_dir ~cwd ~timeout ~setup_scripts
   >>| compose_cram_output
 ;;
 
@@ -502,7 +519,16 @@ module Script = Persistent.Make (struct
     let test_example () = []
   end)
 
-let run_and_produce_output ~conflict_markers ~src ~env ~dir:cwd ~script ~dst ~timeout =
+let run_and_produce_output
+      ~conflict_markers
+      ~src
+      ~env
+      ~dir:cwd
+      ~script
+      ~dst
+      ~timeout
+      ~setup_scripts
+  =
   let script_contents = Io.read_file ~binary:false script in
   let lexbuf = Lexbuf.from_string script_contents ~fname:(Path.to_string script) in
   let temp_dir = make_temp_dir ~script in
@@ -512,7 +538,7 @@ let run_and_produce_output ~conflict_markers ~src ~env ~dir:cwd ~script ~dst ~ti
   let env = make_run_env env ~temp_dir ~cwd in
   let open Fiber.O in
   let+ commands =
-    run_cram_test env ~src ~script ~cram_stanzas ~temp_dir ~cwd ~timeout
+    run_cram_test env ~src ~script ~cram_stanzas ~temp_dir ~cwd ~timeout ~setup_scripts
     >>| List.filter_map ~f:(function
       | Cram_lexer.Command c -> Some c
       | Comment _ -> None)
@@ -530,28 +556,42 @@ module Run = struct
       ; script : 'path
       ; output : 'target
       ; timeout : (Loc.t * float) option
+      ; setup_scripts : 'path list
       }
 
     let name = "cram-run"
-    let version = 2
-
-    let bimap ({ src = _; dir; script; output; timeout } as t) f g =
-      { t with dir = f dir; script = f script; output = g output; timeout }
+    let version = 3
+
+    let bimap ({ src = _; dir; script; output; timeout; setup_scripts } as t) f g =
+      { t with
+        dir = f dir
+      ; script = f script
+      ; output = g output
+      ; timeout
+      ; setup_scripts = List.map ~f setup_scripts
+      }
     ;;
 
     let is_useful_to ~memoize:_ = true
 
-    let encode { src = _; dir; script; output; timeout } path target : Sexp.t =
+    let encode { src = _; dir; script; output; timeout; setup_scripts } path target
+      : Sexp.t
+      =
       List
         [ path dir
         ; path script
         ; target output
         ; Dune_sexp.Encoder.(option float (Option.map ~f:snd timeout))
           |> Dune_sexp.to_sexp
+        ; List (List.map ~f:path setup_scripts)
         ]
     ;;
 
-    let action { src; dir; script; output; timeout } ~ectx:_ ~(eenv : Action.env) =
+    let action
+          { src; dir; script; output; timeout; setup_scripts }
+          ~ectx:_
+          ~(eenv : Action.env)
+      =
       run_and_produce_output
         ~conflict_markers:Ignore
         ~src
@@ -560,14 +600,15 @@ module Run = struct
         ~script
         ~dst:output
         ~timeout
+        ~setup_scripts
     ;;
   end
 
   include Action_ext.Make (Spec)
 end
 
-let run ~src ~dir ~script ~output ~timeout =
-  Run.action { src; dir; script; output; timeout }
+let run ~src ~dir ~script ~output ~timeout ~setup_scripts =
+  Run.action { src; dir; script; output; timeout; setup_scripts }
 ;;
 
 module Make_script = struct
@@ -688,7 +729,8 @@ module Action = struct
              ~src:script
              ~env:eenv.env
              ~script
-             ~timeout:None)
+             ~timeout:None
+             ~setup_scripts:[])
     ;;
   end
 

src/dune_rules/cram/cram_exec.mli

@@ -14,6 +14,7 @@ val run
   -> script:Path.t
   -> output:Path.Build.t
   -> timeout:(Loc.t * float) option
+  -> setup_scripts:Path.t list
   -> Action.t
 
 (** Produces a diff if [src] needs to be updated *)

src/dune_rules/cram/cram_rules.ml

@@ -13,6 +13,8 @@ module Spec = struct
     ; packages : Package.Name.Set.t
     ; timeout : (Loc.t * float) option
     ; conflict_markers : Cram_stanza.Conflict_markers.t
+    ; conflict : Cram_stanza.Conflict.t
+    ; setup_scripts : Path.t list
     }
 
   let make_empty ~test_name_alias =
@@ -26,6 +28,8 @@ module Spec = struct
     ; packages = Package.Name.Set.empty
     ; timeout = None
     ; conflict_markers = Ignore
+    ; conflict = Ignore
+    ; setup_scripts = []
     }
   ;;
 end
@@ -61,6 +65,8 @@ let test_rule
        ; packages = _
        ; timeout
        ; conflict_markers
+       ; conflict
+       ; setup_scripts
        } :
         Spec.t)
       (test : (Cram_test.t, error) result)
@@ -135,6 +141,7 @@ let test_rule
               in
               let+ (_ : Path.Set.t) = Action_builder.dyn_memo_deps deps in
               ()
+          and+ () = Action_builder.paths setup_scripts
           and+ locks = locks >>| Path.Set.to_list in
           Cram_exec.run
             ~src:(Path.build script)
@@ -146,6 +153,7 @@ let test_rule
             ~script:(Path.build script_sh)
             ~output
             ~timeout
+            ~setup_scripts
           |> Action.Full.make ~locks ~sandbox)
          |> Action_builder.with_file_targets ~file_targets:[ output ]
          |> Super_context.add_rule sctx ~dir ~loc
@@ -297,6 +305,15 @@ let rules ~sctx ~dir tests =
               let conflict_markers =
                 Option.value ~default:acc.conflict_markers stanza.conflict_markers
               in
+              let conflict = Option.value ~default:acc.conflict stanza.conflict in
+              let setup_scripts =
+                List.map stanza.setup_scripts ~f:(fun (_loc, script) ->
+                  (* Handle both relative and absolute paths *)
+                  if Filename.is_relative script
+                  then Path.build (Path.Build.relative dir script)
+                  else Path.external_ (Path.External.of_string script))
+                @ acc.setup_scripts
+              in
               ( runtest_alias
               , { acc with
                   enabled_if
@@ -308,6 +325,8 @@ let rules ~sctx ~dir tests =
                 ; sandbox
                 ; timeout
                 ; conflict_markers
+                ; conflict
+                ; setup_scripts
                 } ))
       in
       let extra_aliases =

src/dune_rules/cram/cram_stanza.ml

@@ -45,6 +45,7 @@ type t =
   ; package : Package.t option
   ; runtest_alias : (Loc.t * bool) option
   ; timeout : (Loc.t * float) option
+  ; setup_scripts : (Loc.t * string) list
   }
 
 include Stanza.Make (struct
@@ -100,6 +101,15 @@ let decode =
        field_o
          "conflict_markers"
          (Dune_lang.Syntax.since Stanza.syntax (3, 21) >>> Conflict_markers.decode)
+         "conflict"
+         (Dune_lang.Syntax.since Stanza.syntax (3, 21) >>> Conflict.decode)
+     and+ setup_scripts =
+       let+ scripts =
+         field_o
+           "setup_scripts"
+           (Dune_lang.Syntax.since Stanza.syntax (3, 21) >>> repeat (located string))
+       in
+       Option.value scripts ~default:[]
      in
      { loc
      ; alias
@@ -111,5 +121,7 @@ let decode =
      ; runtest_alias
      ; timeout
      ; conflict_markers
+     ; conflict
+     ; setup_scripts
      })
 ;;

src/dune_rules/cram/cram_stanza.mli

@@ -23,6 +23,7 @@ type t =
   ; package : Package.t option
   ; runtest_alias : (Loc.t * bool) option
   ; timeout : (Loc.t * float) option
+  ; setup_scripts : (Loc.t * string) list
   }
 
 val decode : t Dune_lang.Decoder.t

test/blackbox-tests/test-cases/cram-setup-scripts/basic.t

@@ -0,0 +1,46 @@
+Test setup_scripts feature for cram tests
+
+Create a project with a helper script:
+
+  $ cat > dune-project << EOF
+  > (lang dune 3.21)
+  > (cram enable)
+  > EOF
+
+  $ cat > helpers.sh << 'EOF'
+  > #!/bin/sh
+  > test_helper() {
+  >   echo "Helper called: $1"
+  > }
+  > export MY_VAR="test_value_from_helper"
+  > EOF
+
+  $ cat > dune << EOF
+  > (cram
+  >  (setup_scripts helpers.sh))
+  > EOF
+
+  $ cat > basic.t << 'EOF'
+  > Test that setup scripts are sourced and functions are available
+  > 
+  >   $ test_helper "foo"
+  >   Helper called: foo
+  > 
+  > Test that variables from setup scripts are available
+  > 
+  >   $ echo $MY_VAR
+  >   test_value_from_helper
+  > 
+  > Check if setup script is visible in test directory
+  > 
+  >   $ ls *.sh 2>&1 || echo "No sh files"
+  >   No sh files
+  > EOF
+
+Run the test:
+
+  $ dune runtest
+  File "basic.t", line 1, characters 0-0:
+  Error: Files _build/default/basic.t and _build/default/basic.t.corrected
+  differ.
+  [1]

test/blackbox-tests/test-cases/cram-setup-scripts/check-visibility.t

@@ -0,0 +1,26 @@
+Test if setup scripts are visible in test directory
+
+  $ cat > dune-project << EOF
+  > (lang dune 3.21)
+  > (cram enable)
+  > EOF
+
+  $ cat > secret.sh << 'EOF'
+  > MY_SECRET="should_not_be_visible"
+  > EOF
+
+  $ cat > dune << EOF
+  > (cram
+  >  (setup_scripts secret.sh))
+  > EOF
+
+  $ cat > check.t << 'EOF'
+  >   $ ls *.sh 2>&1 || echo "No .sh files found"
+  >   No .sh files found
+  > EOF
+
+  $ dune runtest
+  File "check.t", line 1, characters 0-0:
+  Error: Files _build/default/check.t and _build/default/check.t.corrected
+  differ.
+  [1]