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, (#9) and VLAs in particular (#5, #7)
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 (#21)
12- Some warnings were made optional
13- Unmaintained extensions (#30) were removed
14- Many bug fixes"""
15maintainer: [
16 "Michael Schwarz <michael.schwarz93@gmail.com>"
17 "Ralf Vogler <ralf.vogler@gmail.com>"
18]
19authors: ["gabriel@kerneis.info"]
20license: "BSD-3-Clause"
21homepage: "https://cil-project.github.io/cil/"
22bug-reports: "https://github.com/goblint/cil/issues"
23depends: [
24 "ocaml" {>= "4.04.2" & < "5.0"}
25 "ocamlfind"
26 "zarith"
27 "hevea" {with-doc}
28 "dune" {>= "2.7"}
29 "odoc" {with-doc}
30 "stdlib-shims"
31 "ppx_deriving_yojson" {>= "3.2"}
32 "yojson"
33 "batteries" {>= "3.2.0"}
34 "conf-perl"
35]
36conflicts: ["cil"]
37build: [
38 ["dune" "subst"] {dev}
39 [
40 "dune"
41 "build"
42 "-p"
43 name
44 "-j"
45 jobs
46 "@install"
47 "@runtest" {with-test}
48 "@doc" {with-doc}
49 ]
50]
51dev-repo: "git+https://github.com/goblint/cil.git"
52depexts: [
53 ["perl-ExtUtils-MakeMaker"] {os-distribution = "centos" | os-distribution = "fedora" | os-distribution = "ol"}
54 ["perl-FindBin"] {os-distribution = "fedora"}
55 ["build-base"] {os-distribution = "alpine"}
56]
57available: arch != "ppc32" & arch != "ppc64"
58url {
59 src: "https://github.com/goblint/cil/archive/1.8.0.tar.gz"
60 checksum: [
61 "md5=796ad26120b5c6b939a57e8623088aef"
62 "sha512=01a58ac6d928afead21c8a97af5865715114cd0562234d1d4aef9e4ac5d91415d040a15927c52cb896dbb39a53e915627f498ebe2d026a548c3ff597682041b2"
63 ]
64}