this repo has no description
anil.recoil.org
1# This file is generated by dune, edit dune-project instead
2opam-version: "2.0"
3synopsis: "[@@deriving subliner] and [%%subliner] for Cmdliner"
4description:
5 "[@@deriving] plugin to generate Cmdliner sub-command groups and ppx rewriter to generate Cmdliner evaluations."
6maintainer: ["Boning <me@boni.ng>"]
7authors: ["Boning <me@boni.ng>"]
8license: "MIT"
9homepage: "https://github.com/bn-d/ppx_subliner"
10doc: "https://boni.ng/ppx_subliner/ppx_subliner/index.html"
11bug-reports: "https://github.com/bn-d/ppx_subliner/issues"
12depends: [
13 "dune" {>= "2.7"}
14 "ppxlib" {>= "0.10.0"}
15 "cmdliner" {>= "1.1.0"}
16 "alcotest" {with-test}
17 "ppx_deriving_cmdliner" {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://github.com/bn-d/ppx_subliner.git"
35url {
36 src:
37 "https://github.com/bn-d/ppx_subliner/archive/refs/tags/v0.1.3.tar.gz"
38 checksum: [
39 "md5=885e10a01f1a322e65102622fddc6076"
40 "sha512=8acd84a312eed2762788703593a3d5be39b1507ffdb7b7bd9fd294180327e93af5320929de8d6e979c552823587ec01e73f4d9edf3d53fd204ece3c337918a51"
41 ]
42}