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 ["env" "FORCE_PERL_PREFIX=1" "./configure" "--prefix" prefix]
9 [make]
10 [make "doc"] {with-doc}
11]
12install: [
13 make "install"
14]
15remove: [
16 ["env" "FORCE_PERL_PREFIX=1" "./configure" "--prefix" prefix]
17 [make "uninstall"]
18]
19depends: [
20 "ocaml" {>= "4.02.3" & < "5.0"}
21 "ocamlfind"
22 "ocamlbuild" {build}
23 "num" {build}
24 "conf-perl" {build}
25 "hevea" {build & with-doc}
26]
27conflicts: ["cil"]
28synopsis:
29 "A front-end for the C programming language that facilitates program analysis and transformation."
30description: """
31This is a fork of the 'cil' package needed to build 'goblint'.
32Changes:
33- some warnings are made optional
34- truncated integer constants have a string representation
35- compiles with OCaml 4.06.0"""
36url {
37 src: "https://github.com/goblint/cil/archive/goblint-cil-1.7.3.tar.gz"
38 checksum: [
39 "sha256=e912d04387532d44e752463b73c6fe575091eb119b6d75aa6103f243c18a542e"
40 "md5=77b8d863893215275e6b8f7f0e055e3e"
41 ]
42}