this repo has no description
anil.recoil.org
1opam-version: "2.0"
2authors: ["gabriel@kerneis.info"]
3maintainer: "ralf.vogler@gmail.com"
4homepage: "https://cil-project.github.io/cil/"
5bug-reports: "https://github.com/goblint/cil/issues/"
6dev-repo: "git+https://github.com/goblint/cil/"
7build: [
8 ["./configure" "--prefix" prefix]
9 [make]
10 [make "doc"] {with-doc}
11]
12install: [
13 make "install"
14]
15depends: [
16 "ocaml" {>= "4.02.3" & < "5.0"}
17 "ocamlfind" {build}
18 "ocamlbuild" {build}
19 "zarith"
20 "hevea" {with-doc | with-test}
21]
22depexts: [
23 ["perl-ExtUtils-MakeMaker"] {os-distribution = "centos" | os-distribution = "fedora"}
24]
25conflicts: ["cil"]
26synopsis:
27 "A front-end for the C programming language that facilitates program analysis and transformation"
28description: """
29This is a fork of the 'cil' package needed to build 'goblint'.
30Changes:
31- some warnings are made optional
32- truncated integer constants have a string representation
33- compiles with OCaml >=4.06.0, use zarith instead of num"""
34url {
35 src: "https://github.com/goblint/cil/archive/1.7.4.tar.gz"
36 checksum: [
37 "md5=091bd157c350e65e9c5616779f674cde"
38 "sha512=ddfa86c993c2d1e399742f4e9e77e4db4f255dac7f62019952e9dcd874f77cb02140bb5a8b9f3d1c158ba4e4fa057442d2ffdb6d40217bc3e0f76fe8a69af6a2"
39 ]
40}