this repo has no description
anil.recoil.org
1opam-version: "2.0"
2synopsis: "OCaml C stub static analyzer"
3description:
4 "Uses a generated C model for how OCaml C primitives can be called. Run a static analyzer to find incorrect API/macro usage that leads to race conditions."
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/lintcstubs"
9bug-reports: "https://github.com/edwintorok/lintcstubs/issues"
10depends: [
11 "dune" {>= "3.0"}
12 "ocaml" {>= "4.13"}
13 "lintcstubs-gen" {= version}
14 "goblint" {>= "2.1.0" & < "2.2.0"}
15 "goblint-cil"
16 "dune-compiledb"
17 "fpath"
18 "fmt" {>= "0.9.0"}
19 "sexplib" {>= "v0.15.0"}
20 "odoc" {with-doc}
21]
22build: [
23 ["dune" "subst"] {dev}
24 [
25 "dune"
26 "build"
27 "-p"
28 name
29 "-j"
30 jobs
31 "--promote-install-files=false"
32 "@install"
33 "@runtest" {with-test}
34 "@doc" {with-doc}
35 ]
36 ["dune" "install" "-p" name "--create-install-files" name]
37]
38dev-repo: "git+https://github.com/edwintorok/lintcstubs.git"
39url {
40 src:
41 "https://github.com/edwintorok/lintcstubs/releases/download/0.4.7/lintcstubs-0.4.7.tbz"
42 checksum: [
43 "sha256=a3975d01687241ed27134b0088e43b5b94498190e99ff397d29822d7a6301646"
44 "sha512=80e9198ff347c707015cddea3d1859c7509ab436520dbe6b919c943cd654dc34270ff823ed58bcfce7b8e5af8a36a07b9a22005aa33574d915ccd2b5c961b071"
45 ]
46}
47x-commit-hash: "8acf8e234f495c311a01713c7342ef1b18f617e2"