Scale up timeout... to 100 seconds

lukstafi · lukstafi · commit bef4ee560234 · 2025-08-19T11:14:49.000+02:00
Signed-off-by: Lukasz Stafiniak &lt;lukstafi@gmail.com&gt;
diff --git a/arrayjit/lib/cc_backend.ml b/arrayjit/lib/cc_backend.ml
@@ -111,7 +111,7 @@ let%track7_sexp c_compile_and_load ~f_path =
   (* Note: it seems waiting for the file to exist is necessary here and below regardless of needing
      the logs. *)
   let start_time = Unix.gettimeofday () in
-  let timeout = Float.of_string @@ Utils.get_global_arg ~default:"5.0" ~arg_name:"cc_backend_post_compile_timeout" in
+  let timeout = Float.of_string @@ Utils.get_global_arg ~default:"100.0" ~arg_name:"cc_backend_post_compile_timeout" in
   while rc = 0 && (not @@ (Stdlib.Sys.file_exists libname && Stdlib.Sys.file_exists log_fname)) do
     let elapsed = Unix.gettimeofday () -. start_time in
     if Float.(elapsed > timeout) then
diff --git a/ocannl_config.example b/ocannl_config.example
@@ -204,6 +204,6 @@ default_prec=single
 # (where the initialization code sets the values).
 limit_constant_fill_size=16
 
-# The timeout for the CC backend to wait for the compilation files to appear.
+# The timeout for the CC backend to wait for the compilation files to appear, in seconds.
 # This is the wait after the compiler command exits (doesn't include the compilation time).
-cc_backend_post_compile_timeout=5.0
+cc_backend_post_compile_timeout=100.0
