this repo has no description
anil.recoil.org
1opam-version: "2.0"
2maintainer: "Török Edwin <edwin@skylable.com>"
3authors: ["Török Edwin <edwin@skylable.com>"]
4homepage: "https://gitlab.com/edwintorok/cmdtui"
5doc: "https://edwintorok.gitlab.io/cmdtui/doc"
6license: "ISC"
7dev-repo: "git+https://gitlab.com/edwintorok/cmdtui.git"
8bug-reports: "https://gitlab.com/edwintorok/cmdtui/issues"
9depends: [
10 "ocaml" {>= "4.02.3" & < "5.0.0"}
11 "ocamlfind" {build}
12 "ocamlbuild" {build}
13 "topkg" {build & >= "0.7.8"}
14 "astring" {>= "0.8.3"}
15 "fmt" {>= "0.8.0"}
16]
17depopts: [
18 "lambda-term"
19 "cmdliner"
20 "logs"
21]
22build: [
23 [
24 "ocaml"
25 "pkg/pkg.ml"
26 "build"
27 "--pinned"
28 "%{pinned}%"
29 "--tests"
30 "false"
31 "--with-lambda-term"
32 "%{lambda-term:installed}%"
33 "--with-cmdliner"
34 "%{cmdliner:installed}%"
35 "--with-logs"
36 "%{logs:installed}%"
37 ]
38 [
39 "ocaml"
40 "pkg/pkg.ml"
41 "build"
42 "--pinned"
43 "%{pinned}%"
44 "--tests"
45 "true"
46 "--with-lambda-term"
47 "%{lambda-term:installed}%"
48 "--with-cmdliner"
49 "%{cmdliner:installed}%"
50 "--with-logs"
51 "%{logs:installed}%"
52 ] {with-test}
53 ["ocaml" "pkg/pkg.ml" "test"] {with-test}
54]
55synopsis: "Interactive command completion and execution for building REPLs"
56description: """
57cmdtui is a module for declaring commands with completions and actions.
58It can return a dynamically generated list of completions based on partial user
59input.
60The base module doesn't depend on a particular terminal control library,
61and support for `lambda-term` based REPLs is provided in the `cmdtui.lambda-term` subpackage.
62
63cmdtui is distributed under the ISC license."""
64url {
65 src:
66 "https://gitlab.com/edwintorok/cmdtui/uploads/d8ed8d08f98a8d3481121df4b9fc13cd/cmdtui-0.3.0.tbz"
67 checksum: [
68 "sha256=1be279bf204f9a7ad97658082aa1b6dce241f2d169cc0fb029752578c450d539"
69 "md5=00ec10a7c55ac72f7b54aa64a62a702e"
70 ]
71}