this repo has no description
0
fork

Configure Feed

Select the types of activity you want to include in your feed.

[new release] dune-compiledb (0.6.0)

CHANGES:

Add `-o` flag to chose destination directory (@kohlivarun5)

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