this repo has no description
Merge pull request #24946 from edwintorok/release-dune-compiledb-0.5.0
[new release] dune-compiledb (0.5.0)
authored by
Marcello Seri
and committed by
GitHub
3c0fa3d4
632b6e1b
+42
+42
packages/dune-compiledb/dune-compiledb.0.5.0/opam
+42
packages/dune-compiledb/dune-compiledb.0.5.0/opam
···
1
+
opam-version: "2.0"
2
+
synopsis: "Generate compile_commands.json from dune rules"
3
+
description:
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."
5
+
maintainer: ["Edwin Török <edwin.torok@cloud.com>"]
6
+
authors: ["Edwin Török <edwin.torok@cloud.com>"]
7
+
license: "LGPL-2.1-or-later"
8
+
homepage: "https://github.com/edwintorok/dune-compiledb"
9
+
bug-reports: "https://github.com/edwintorok/dune-compiledb/issues"
10
+
depends: [
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
+
]
19
+
build: [
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
+
]
33
+
dev-repo: "git+https://github.com/edwintorok/dune-compiledb.git"
34
+
url {
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
+
}
42
+
x-commit-hash: "423141325a1806419fdfd0846d2f0ca0af4f3735"