this repo has no description
anil.recoil.org
1opam-version: "2.0"
2synopsis:
3 "A front-end for the C programming language that facilitates program analysis and transformation"
4description: """
5This is a fork of the 'cil' package needed to build 'goblint'.
6Changes:
7- Proper support for C99 and VLAs in particular
8- It uses Zarith instead of the deprecated Num
9- Support for more recent OCaml versions (≥ 4.06)
10- Large integer constants that do not fit in an OCaml int are represented as a string instead of getting truncated
11- Syntactic search extension
12- More precise locations (with columns)
13- Some warnings were made optional
14- Unmaintained extensions were removed
15- Many bug fixes"""
16maintainer: [
17 "Michael Schwarz <michael.schwarz93@gmail.com>"
18 "Simmo Saan <simmo.saan@gmail.com>"
19 "Ralf Vogler <ralf.vogler@gmail.com>"
20]
21authors: ["gabriel@kerneis.info"]
22license: "BSD-3-Clause"
23homepage: "https://github.com/goblint/cil"
24bug-reports: "https://github.com/goblint/cil/issues"
25depends: [
26 "ocaml" {>= "4.05.0" & < "5.0"}
27 "ocamlfind"
28 "zarith"
29 "hevea" {with-doc}
30 "dune" {>= "2.7"}
31 "odoc" {with-doc}
32 "stdlib-shims"
33 "ppx_deriving_yojson" {>= "3.2"}
34 "yojson"
35 "batteries" {>= "3.2.0"}
36 "conf-perl"
37]
38conflicts: ["cil"]
39build: [
40 ["dune" "subst"] {dev}
41 [
42 "dune"
43 "build"
44 "-p"
45 name
46 "-j"
47 jobs
48 "@install"
49 "@runtest" {with-test}
50 "@doc" {with-doc}
51 ]
52]
53dev-repo: "git+https://github.com/goblint/cil.git"
54depexts: [
55 ["perl-ExtUtils-MakeMaker"] {os-distribution = "centos" | os-distribution = "fedora" | os-distribution = "ol"}
56 ["perl-FindBin"] {os-distribution = "fedora"}
57 ["build-base"] {os-distribution = "alpine"}
58]
59available: arch != "ppc32" & arch != "ppc64"
60url {
61 src:
62 "https://github.com/goblint/cil/releases/download/1.8.2/goblint-cil-1.8.2.tbz"
63 checksum: [
64 "sha256=f4711e3fa53c482cdef2d7ed62b287d859ce55ef8b4ddfdc6071e81034c3bc89"
65 "sha512=8a861aa04aed7684a7c86207cfd5b63503984917fe53ae4866890242cb0db38d2c4f7bd5a5565fd094da064fb290e67071bae6874377e10d2005330c71cc13a2"
66 ]
67}
68x-commit-hash: "0cd459fb4425e509f8cc77c28228d5ed6208f231"