Formatting; updated changelog

lukstafi · lukstafi · commit 71c8f62885a8 · 2025-08-19T23:34:55.000+02:00
Signed-off-by: Lukasz Stafiniak &lt;lukstafi@gmail.com&gt;
diff --git a/CHANGES.md b/CHANGES.md
@@ -1,4 +1,4 @@
-## [0.6.0]  -- current
+## [0.6.0]  -- 2025-08-19
 
 ### Added
 
@@ -53,6 +53,8 @@
 - Host-device synchronization issues with `devices_not_lagging_host` semantics.
 - Shape inference corner cases with Total_elems and row constraints.
 - Various issues with convolution and strided iteration support.
+- Moved away from using statically loaded builtins.c from routines (kernels), all backends now prepend their builtins textually.
+- Emulating _Float16 aka. half on systems with C compilers that don't support it.
 
 ## [0.5.3] -- 2025-05-24
 
diff --git a/arrayjit/lib/cuda_backend.ml b/arrayjit/lib/cuda_backend.ml
@@ -141,31 +141,24 @@ end) : Ir.Backend_impl.Lowered_backend = struct
     in
     let cuda_include_opt =
       (* On Windows, check for the no-spaces junction created by ocaml-cudajit *)
-      let cuda_path = 
+      let cuda_path =
         if String.(Stdlib.Sys.os_type = "Win32" || Stdlib.Sys.os_type = "Cygwin") then
-          let junction_path = 
+          let junction_path =
             match Sys.getenv "LOCALAPPDATA" with
             | Some local_appdata -> local_appdata ^ "/cuda_path_link"
-            | None -> 
-                match Sys.getenv "CUDA_PATH" with
-                | Some p -> p
-                | None -> ""
+            | None -> ( match Sys.getenv "CUDA_PATH" with Some p -> p | None -> "")
           in
-          if Stdlib.Sys.file_exists (junction_path ^ "/include") then
-            Some junction_path
-          else
-            Sys.getenv "CUDA_PATH"
-        else
-          Sys.getenv "CUDA_PATH"
+          if Stdlib.Sys.file_exists (junction_path ^ "/include") then Some junction_path
+          else Sys.getenv "CUDA_PATH"
+        else Sys.getenv "CUDA_PATH"
       in
       match cuda_path with
-      | Some cuda_path -> 
+      | Some cuda_path ->
           (* Normalize path separators for Windows *)
-          let include_path = 
+          let include_path =
             if String.(Stdlib.Sys.os_type = "Win32" || Stdlib.Sys.os_type = "Cygwin") then
               String.map ~f:(fun c -> if Char.(c = '\\') then '/' else c) (cuda_path ^ "/include")
-            else
-              cuda_path ^ "/include"
+            else cuda_path ^ "/include"
           in
           [ "-I" ^ include_path ]
       | None ->
