1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
(* SPDX-License-Identifier: AGPL-3.0-or-later *)
(* Copyright © 2021-2024 OCamlPro *)
(* Written by the Owi programmers *)
open Bos
open Syntax
let compile ~workspace ~entry_point ~includes ~out_file debug
(files : Fpath.t list) : Fpath.t Result.t =
let includes =
Cmd.of_list (List.map (fun p -> Fmt.str "-I%a" Fpath.pp p) includes)
in
let* zig_bin =
match OS.Cmd.resolve @@ Cmd.v "zig" with
| Error _ ->
Error
(`Msg
"The `zig` binary was not found, please make sure it is in your \
path." )
| Ok _ as ok -> ok
in
(* TODO: disabled until zig is properly packaged everywhere
let* libzig = Cmd_utils.find_installed_zig_file (Fpath.v "libzig.o") in
*)
match files with
| [] -> assert false
| [ file ] -> begin
let default_out = Fpath.set_ext ".wasm" file |> Fpath.filename |> Fpath.v in
let out = Option.value ~default:Fpath.(workspace // default_out) out_file in
let entry = Fmt.str "-fentry=%s" entry_point in
let zig : Cmd.t =
Cmd.(
zig_bin % "build-exe" % "-target" % "wasm32-freestanding"
% Fmt.str "-femit-bin=%a" Fpath.pp out
% entry %% includes % p file
(* % p libzig *) )
in
let+ () =
match
OS.Cmd.run
~err:(if debug then OS.Cmd.err_run_out else OS.Cmd.err_null)
zig
with
| Ok _ as v -> v
| Error (`Msg e) ->
Fmt.error_msg "zig failed: %s"
(if debug then e else "run with --debug to get the full error message")
in
out
end
| _ -> Fmt.failwith "TODO"
let cmd ~debug ~workers ~includes ~files ~profiling ~unsafe ~optimize
~no_stop_at_failure ~no_value ~no_assert_failure_expression_printing
~deterministic_result_order ~fail_mode ~concolic ~solver ~profile
~model_format ~entry_point ~invoke_with_symbols ~out_file ~workspace
~model_out_file ~with_breadcrumbs : unit Result.t =
let* workspace =
match workspace with
| Some path -> Ok path
| None -> OS.Dir.tmp "cmd_zig_%s"
in
let* _did_create : bool = OS.Dir.create workspace in
let entry_point = Option.value entry_point ~default:"_start" in
let includes =
(* TODO: disabled until zig is properly packaged
Cmd_utils.zig_files_location @
*)
includes
in
let* modul =
compile ~workspace ~entry_point ~includes ~out_file debug files
in
let files = [ modul ] in
let entry_point = Some entry_point in
let workspace = Some workspace in
(if concolic then Cmd_conc.cmd else Cmd_sym.cmd)
~profiling ~debug ~unsafe ~rac:false ~srac:false ~optimize ~workers
~no_stop_at_failure ~no_value ~no_assert_failure_expression_printing
~deterministic_result_order ~fail_mode ~workspace ~solver ~files ~profile
~model_format ~entry_point ~invoke_with_symbols ~model_out_file
~with_breadcrumbs