[test.real] command_exist

LPCIC · Nov 26, 2024 · f93090e · f93090e
1 parent 6c7ea0c
commit f93090e
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/tests/test.real.ml b/tests/test.real.ml
@@ -138,7 +138,9 @@ let print_csv plot results =
           end
       | None -> ());
   close_out oc;
-  if Sys.command "which lua5.1 &>/dev/null" = 0 && Sys.command "which gnuplot &> /dev/null" = 0 then begin
+  let command_exists cmd =
+    Sys.command ("command -v " ^ cmd ^ " 2> /dev/null || exit 1 ") = 0 in
+  if command_exists "lua5.1" && command_exists "gnuplot" then begin
     ignore(Sys.command (plot ^ " data.csv"));
     ignore(Sys.command "gnuplot data.csv.plot")
   end