Description

This is a fork of the 'cil' package needed to build 'goblint'. Changes:

  • some warnings are made optional
  • truncated integer constants have a string representation
  • compiles with OCaml 4.06.0

Published: 02 Dec 2017

Dependencies (6)

  1. hevea build & with-doc
  2. conf-perl build
  3. num build
  4. ocamlbuild build
  5. ocamlfind
  6. ocaml >= "4.02.3" & < "5.0"

Reverse Dependencies (1)

  1. goblint < "1.1.1"

Conflicts (1)

  1. cil
A front-end for the C programming language that facilitates program analysis and transformation.

Install

Documentation cil-project.github.io Edit opam file

Authors

  1. G
    gabriel@kerneis.info

Maintainers

  1. R
    ralf.vogler@gmail.com

Sources

goblint-cil-1.7.3.tar.gz
md5=77b8d863893215275e6b8f7f0e055e3e