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.6.0/dune-compiledb-0.6.0.tbz"
37 checksum: [
38 "sha256=f5e74fd4c2af89df731f53832d8388592d44fed9f50d6d82ba8f71ea1e8ff9ff"
39 "sha512=74e50c759ef50ce13d0f1a424f91176f1327349d6c1b97d0a20c848417920c1490ff7d5a8cabc541b1409a6a6e488f807e34c3cf7ac0d9866938bd43eab08de8"
40 ]
41}
42x-commit-hash: "4dc9c5da20e60a6b850bd3abb67dddf918f71a8b"