opam-version: "2.0"
maintainer: "francois.bobot@cea.fr"
authors: [
  "Patrick Baudin"
  "François Bobot"
  "Richard Bonichon"
  "Loïc Correnson"
  "Pascal Cuoq"
  "Zaynah Dargaye"
  "Jean-Christophe Filliâtre"
  "Philippe Herrmann"
  "Florent Kirchner"
  "Matthieu Lemerre"
  "Claude Marché"
  "Benjamin Monate"
  "Yannick Moy"
  "Anne Pacalet"
  "Virgile Prévosto"
  "Julien Signoles"
  "Boris Yakobowski"
]
homepage: "http://frama-c.com/"
license: "LGPL-2.1-only"
doc: ["http://frama-c.com/download/user-manual-Neon-20140301.pdf"]
tags: [
  "deductive"
  "program verification"
  "formal specification"
  "automated theorem prover"
  "interactive theorem prover"
  "C"
  "plugins"
  "abstract interpretation"
  "slicing"
  "weakest precondition"
  "ACSL"
  "dataflow analysis"
]
build: [
  [
    "./configure"
    "--prefix"
    prefix
    "--sbindir=%{lib}%/frama-c/sbin"
    "--libexecdir=%{lib}%/frama-c/libexec"
    "--sysconfdir=%{lib}%/frama-c/etc"
    "--sharedstatedir=%{lib}%/frama-c/com"
    "--localstatedir=%{lib}%/frama-c/var"
    "--libdir=%{lib}%/frama-c/lib"
    "--includedir=%{lib}%/frama-c/include"
    "--datarootdir=%{lib}%/frama-c/share"
  ]
  [make]
]
depends: [
  "ocaml" {>= "3.12" & != "4.02.0" & < "4.04"}
  "ocamlgraph" {= "1.8.5" | = "1.8.6"}
  "camlp4"
]
depopts: [
  "lablgtk"
  "conf-gtksourceview"
  "conf-gnomecanvas"
]
patches: ["0004-Port-to-OCamlgraph-1.8.5.patch"]

conflicts: [
  "why3" { >= "0.85" }
  "ocaml" { = "4.03.0" & os-distribution = "debian" }
]

install: [make "install"]
synopsis:
  "Platform dedicated to the static analysis of source code written in C"
description: """
Frama-C is a suite of tools dedicated to the analysis of the source
code of software written in C. Neon version.

Frama-C gathers several static analysis techniques in a single
collaborative framework. The collaborative approach of Frama-C allows
static analyzers to build upon the results already computed by other
analyzers in the framework. Thanks to this approach, Frama-C provides
sophisticated tools, such as a slicer and dependency analysis."""
extra-files: [
  "0004-Port-to-OCamlgraph-1.8.5.patch"
  "md5=bcb84e121cb7b4a0b3a400845b9bb9c1"
]
url {
  src: "http://frama-c.com/download/frama-c-Neon-20140301.tar.gz"
  checksum: "md5=c050eaf6f3acff2edf8edb44bf64976d"
}
