this repo has no description
anil.recoil.org
1opam-version: "2.0"
2synopsis: "Generate compile_commands.json from dune rules"
3description:
4 "Generates a compile_commands.json from dune rules that can be used by language server like 'clangd', or static analyzers like 'goblint'. Works with generated headers."
5maintainer: ["Edwin Török <edwin.torok@cloud.com>"]
6authors: ["Edwin Török <edwin.torok@cloud.com>"]
7license: "LGPL-2.1-or-later"
8homepage: "https://github.com/edwintorok/dune-compiledb"
9bug-reports: "https://github.com/edwintorok/dune-compiledb/issues"
10depends: [
11 "dune" {>= "2.7"}
12 "ocaml" {>= "4.08"}
13 "ezjsonm" {>= "1.0.0"}
14 "sexplib"
15 "sexplib0"
16 "fpath" {>= "0.7.1"}
17 "odoc" {with-doc}
18]
19build: [
20 ["dune" "subst"] {dev}
21 [
22 "dune"
23 "build"
24 "-p"
25 name
26 "-j"
27 jobs
28 "@install"
29 "@runtest" {with-test}
30 "@doc" {with-doc}
31 ]
32]
33dev-repo: "git+https://github.com/edwintorok/dune-compiledb.git"
34url {
35 src:
36 "https://github.com/edwintorok/dune-compiledb/releases/download/0.5.0/dune-compiledb-0.5.0.tbz"
37 checksum: [
38 "sha256=fb91db789db4c25e6339d955158fa227cb9547279f4e35acd132e715889686ca"
39 "sha512=59c8b94fb1270b7fe5c315eedb26da8d9b6041f64e6863571eb550420c17dd6b5a8b042dff9c934c2f0e4e43dff8912f4cbda007bce5de1a22c27b931ffa6509"
40 ]
41}
42x-commit-hash: "423141325a1806419fdfd0846d2f0ca0af4f3735"