robur/builder-web
4
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Merge pull request 'Inline owee unix dependent code' (!14) from owee into main

Browse source 
Reviewed-on: #14
This commit is contained in:
Reynir Björnsson 2025-01-24 14:30:16 +00:00
commit 644c3c2c7d
1 changed files with 10 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

11
lib/model.ml
View file

@ -59,7 +59,16 @@ let build_artifacts build (module Db : CONN) =
List.map snd List.map snd
let solo5_manifest datadir file = let solo5_manifest datadir file =
let buf = Owee_buf.map_binary Fpath.(to_string (datadir // artifact_path file)) in (* inlined from Owee_buf.map_binary *)
let path = Fpath.(to_string (datadir // artifact_path file)) in
let fd = Unix.openfile path [Unix.O_RDONLY] 0 in
let len = Unix.lseek fd 0 Unix.SEEK_END in
let buf =
Bigarray.array1_of_genarray
(Unix.map_file fd Bigarray.int8_unsigned
Bigarray.c_layout false [|len|]) in
Unix.close fd;
(* end of inlined code *)
Solo5_elftool.query_manifest buf |> Result.to_option Solo5_elftool.query_manifest buf |> Result.to_option
let platforms_of_job id (module Db : CONN) = let platforms_of_job id (module Db : CONN) =