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.2.tar.gz"
38 checksum: [
39 "md5=23944ff2ed893b6c9d27b256a895b1b7"
40 "sha512=2756dccb41c8940685dc0d367f74fb60a9e776a2a1ebc4fa3e9909e311dced4e1031cb10e99aacecc1ecaa039fb2d6a017068e08e67fa3e6e5eccd95c4287053"
41 ]
42}