Merge pull request #39 from jmid/remove-which-dep

jmid · web-flow · commit 63816875cf5b · 2025-04-24T18:16:04.000+02:00
Remove `which` dependency
diff --git a/dune-project b/dune-project
@@ -30,7 +30,6 @@
   (ppx_yojson_conv (>= 0.14.0))
   stdlib-random
   conf-timeout
-  conf-which
   conf-diffutils
   ;; transitive lower versions to avoid CI errors
   (ocaml-compiler-libs (>= v0.12.0))
diff --git a/mutaml.opam b/mutaml.opam
@@ -23,7 +23,6 @@ depends: [
   "ppx_yojson_conv" {>= "0.14.0"}
   "stdlib-random"
   "conf-timeout"
-  "conf-which"
   "conf-diffutils"
   "ocaml-compiler-libs" {>= "v0.12.0"}
   "ppx_derivers" {>= "1.2.1"}
diff --git a/src/runner/runner.ml b/src/runner/runner.ml
@@ -153,7 +153,7 @@ let rec run_all_mutation_tests test_cmd muts = match muts with
 (** Executable entry point *)
 
 let () =
-  if 0 <> Sys.command ("which " ^ timeout_cmd ^ " > /dev/null")
+  if 0 <> Sys.command ("command -v " ^ timeout_cmd ^ " > /dev/null")
   then fail_and_exit ("Could not find time-out command: " ^ timeout_cmd)
   else
     let test_cmd = ref "" in
