this repo has no description
anil.recoil.org
1opam-version: "2.0"
2synopsis:
3 "OCaml toolchain to work with WebAssembly, including an interpreter"
4description:
5 "owi is an OCaml toolchain to work with WebAssembly. It provides an interpreter as an executable and a library."
6maintainer: ["Léo Andrès <contact@ndrs.fr>"]
7authors: [
8 "Léo Andrès <contact@ndrs.fr>"
9 "Pierre Chambart <pierre.chambart@ocamlpro.com>"
10 "Filipe Marques <filipe.s.marques@tecnico.ulisboa.pt>"
11 "Eric Patrizio <epatrizio@mpns.fr>"
12 "Arthur Carcano <arthur.carcano@ocamlpro.com"
13]
14license: "AGPL-3.0-or-later"
15tags: ["owi" "ocaml" "webassembly" "wasm" "interpreter" "compiler"]
16homepage: "https://github.com/ocamlpro/owi"
17bug-reports: "https://github.com/ocamlpro/owi/issues"
18depends: [
19 "dune" {>= "3.0"}
20 "ocaml" {>= "5.1"}
21 "integers" {>= "0.5.1"}
22 "cmdliner"
23 "conf-clang"
24 "conf-python-3-dev"
25 "sedlex"
26 "menhir" {build & >= "20220210"}
27 "ocaml_intrinsics"
28 "uutf"
29 "bisect_ppx" {with-test & >= "2.5" & dev}
30 "ocb" {with-test & >= "0.1" & dev}
31 "odoc" {with-doc}
32 "crunch" {dev}
33 "bos"
34 "smtml"
35 "mdx" {with-test & >= "2.1"}
36 "graphics" {dev}
37 "tiny_httpd" {dev}
38 "ocamlformat" {dev}
39 "digestif"
40 "xmlm"
41 "pyml"
42 "re2"
43 "hc" {>= "0.3"}
44 "dune-site"
45]
46build: [
47 ["dune" "subst"] {dev}
48 [
49 "dune"
50 "build"
51 "-p"
52 name
53 "-j"
54 jobs
55 "--promote-install-files=false"
56 "@install"
57 "@runtest" {with-test}
58 "@doc" {with-doc}
59 ]
60 ["dune" "install" "-p" name "--create-install-files" name]
61]
62dev-repo: "git+https://github.com/ocamlpro/owi.git"
63available: (arch = "x86_32" | arch = "x86_64" | arch = "arm64") & os != "win32"
64depexts: [
65 [ "llvm" "lld" "wabt"] {os-family = "debian"}
66 [ "llvm" "wabt"] {os-family = "homebrew"}
67 [ "llvm" "lld" "wabt" ] {os-family = "arch"}
68 [ "llvm" "lld" "wabt" ] {os-family = "fedora"}
69 [ "llvm" "lld" ] {os-family = "opensuse"}
70 [ "llvm" "lld" "wabt" ] {os-family = "bsd"}
71]
72url {
73 src: "https://github.com/ocamlpro/owi/archive/refs/tags/0.2.tar.gz"
74 checksum: [
75 "sha256=ae5f43a855d35e3362d7ae4f5d26a2e99f5abbbafceb9e970a9ac9ec48eca791"
76 "sha512=2cbd28275e1c65aa8f16d945d8ed679f070e1409f45796a272c8d58eb806890ad686184c95e1b6b16b96734c3d2c1d885c9894b3386f55cc0fd3fb4a40d68a8d"
77 ]
78}