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"
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.4.0/dune-compiledb-0.4.0.tbz"
37 checksum: [
38 "sha256=54160a321a02984a0d1fabad4d741856f10ea92d6d4d3142ed3ff9c48f63e6e9"
39 "sha512=5c2b5ed9cdd14549ae3e65da7a0340f343587aa53376dde36fd146c0ad37ab80354985af9f2e82490c277313168621c47c29ce5b283928544b417bd0d225ef19"
40 ]
41}
42x-commit-hash: "7e178d6af40f6cc552e8be48948c7c442fc2e5f7"