-
Notifications
You must be signed in to change notification settings - Fork 27
/
Copy pathdune-project
107 lines (98 loc) · 2.26 KB
/
dune-project
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
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
(lang dune 3.0)
(using menhir 2.1)
(using dune_site 0.1)
(using mdx 0.2)
(using directory-targets 0.1)
(cram enable)
(generate_opam_files true)
(name owi)
(license AGPL-3.0-or-later)
(authors
"Léo Andrès <[email protected]>"
"Pierre Chambart <[email protected]>"
"Filipe Marques <[email protected]>"
"Eric Patrizio <[email protected]>"
"Arthur Carcano <[email protected]>")
(source
(github ocamlpro/owi))
(package
(name owi)
(synopsis
"OCaml toolchain to work with WebAssembly, including an interpreter")
(description
"Owi is an OCaml toolchain to work with WebAssembly. It provides an interpreter as an executable and a library.")
(tags
(owi ocaml webassembly wasm interpreter compiler))
(depends
;; build
(ocaml
(>= 5.1))
(menhir
(and
:build
(>= 20220210)))
(dune-build-info :build)
(dune-site :build)
;; system packages
conf-clang
;; conf-lld does not have `wasm-ld` on macOS and compilation fails
;; conf-llvm ;; this package is broken on opam-repository: on Debian it'll install the llvm-X but not llvm package...
;; conf-rust-llvm ;; not available in ubuntu
;; conf-rust-wasm ;; libstd-rust-dev-wasm32 is not available in ubuntu
;;conf-zig
;; runtime
(bos
(>= 0.2.1))
(cmdliner
(>= 1.3.0))
(digestif
(>= 1.2.0))
(integers
(>= 0.5.1))
(ocaml_intrinsics
(>= "v0.16.1"))
(prelude
(>= 0.5))
(processor
(>= 0.2))
(sedlex
(>= 3.3))
(smtml
(>= 0.6.3))
(uutf
(>= 1.0.3))
(xmlm (>= 1.4.0))
;; doc
(odoc (and (>= 3.0.0) :with-doc))
;; test
(mdx
(and
:with-test
(>= 2.1)))
(frama-c (and (>= 29.0) :with-test))
(z3 :with-test)
;; dev
(bisect_ppx
(and
(>= 2.5)
:with-dev-setup))
(ocb
(and
(>= 0.1)
:with-dev-setup))
(extunix :with-dev-setup)
(crowbar :with-dev-setup)
(gnuplot :with-dev-setup)
(graphics :with-dev-setup)
(tiny_httpd :with-dev-setup)
(ocamlformat :with-dev-setup)
(rusage :with-dev-setup)
(tyxml :with-dev-setup)
(yaml :with-dev-setup)
(lwt :with-dev-setup)
(cohttp :with-dev-setup)
(cohttp-lwt-unix :with-dev-setup)
(lwt_ssl :with-dev-setup)
)
(sites (share c_files) (share rust_files) (share zig_files)))