gazagnaire.org
OCaml wire format DSL with EverParse 3D output for verified parsers
1# This file is generated by dune, edit dune-project instead
2opam-version: "2.0"
3synopsis: "Binary wire format DSL with EverParse 3D output"
4description:
5 "OCaml DSL for describing binary wire formats with EverParse 3D output. Define your wire format once, then use it for OCaml parsing via bytesrw or emit .3d files for verified C parser generation via EverParse."
6maintainer: ["Thomas Gazagnaire <thomas@gazagnaire.org>"]
7authors: ["Thomas Gazagnaire <thomas@gazagnaire.org>"]
8license: "ISC"
9homepage: "https://tangled.org/gazagnaire.org/ocaml-wire"
10bug-reports: "https://tangled.org/gazagnaire.org/ocaml-wire/issues"
11depends: [
12 "dune" {>= "3.21"}
13 "ocaml" {>= "5.1"}
14 "bytesrw" {>= "0.1"}
15 "eio" {>= "1.0"}
16 "fmt" {>= "0.9"}
17 "alcotest" {with-test}
18 "odoc" {with-doc}
19]
20build: [
21 ["dune" "subst"] {dev}
22 [
23 "dune"
24 "build"
25 "-p"
26 name
27 "-j"
28 jobs
29 "@install"
30 "@runtest" {with-test}
31 "@doc" {with-doc}
32 ]
33]
34dev-repo: "git+https://tangled.org/gazagnaire.org/ocaml-wire"
35x-maintenance-intent: ["(latest)"]