forked from OCamlPro/owi
-
Notifications
You must be signed in to change notification settings - Fork 0
/
dune-project
90 lines (81 loc) · 1.71 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
(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]>")
(maintainers "Léo Andrès <[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-site :build)
;; runtime
bos
cmdliner
conf-clang
digestif
(integers
(>= 0.5.1))
ocaml_intrinsics
(prelude (>= 0.3))
sedlex
(smtml (>= 0.3.1))
uutf
xmlm
(processor (>= 0.2))
;; doc
(odoc :with-doc)
;; test
(mdx
(and
:with-test
(>= 2.1)))
(frama-c (and (>= 29.0) :with-test))
;; dev
(bisect_ppx
(and
(>= 2.5)
:with-dev-setup))
(ocb
(and
(>= 0.1)
:with-dev-setup))
(crunch :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)
)
(sites (share binc) (share libc)))