Cmdliner terms for ergonomic logging configuration
Migrate dune-project files to tangled source format
Convert all packages from:
(source (uri https://tangled.org/handle/repo))
to:
(source (tangled handle/repo))
This uses dune 3.21's native tangled support for cleaner source
declarations. Also removes redundant homepage/bug_reports fields
that are auto-generated from tangled sources.
+8
-7
+3
-4
dune-project
+3
-4
dune-project
···
1
-
(lang dune 3.0)
1
+
(lang dune 3.21)
2
2
3
3
(name vlog)
4
4
···
10
10
11
11
(maintainers "Thomas Gazagnaire <thomas@gazagnaire.org>")
12
12
13
-
(source
14
-
(uri https://tangled.org/gazagnaire.org/ocaml-vlog))
13
+
14
+
(source (tangled gazagnaire.org/ocaml-vlog))
15
15
16
-
(documentation "https://tangled.org/gazagnaire.org/ocaml-vlog")
17
16
18
17
(package
19
18
(name vlog)
+5
-3
vlog.opam
+5
-3
vlog.opam
···
6
6
maintainer: ["Thomas Gazagnaire <thomas@gazagnaire.org>"]
7
7
authors: ["Thomas Gazagnaire <thomas@gazagnaire.org>"]
8
8
license: "MIT"
9
-
doc: "https://tangled.org/gazagnaire.org/ocaml-vlog"
9
+
homepage: "https://tangled.org/gazagnaire.org/ocaml-vlog"
10
+
bug-reports: "https://tangled.org/gazagnaire.org/ocaml-vlog/issues"
10
11
depends: [
11
-
"dune" {>= "3.0"}
12
+
"dune" {>= "3.21"}
12
13
"ocaml" {>= "4.14"}
13
14
"logs" {>= "0.7"}
14
15
"fmt" {>= "0.9"}
···
31
32
"@doc" {with-doc}
32
33
]
33
34
]
34
-
dev-repo: "https://tangled.org/gazagnaire.org/ocaml-vlog"
35
+
dev-repo: "git+https://tangled.org/gazagnaire.org/ocaml-vlog"
36
+
x-maintenance-intent: ["(latest)"]