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-Fluorine-20130601.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" {< "4.02.0"}
  "ocamlgraph" {>= "1.8.3"}
  "lablgtk"
  "conf-gtksourceview"
  "conf-gnomecanvas"
  "camlp4"
]
patches: ["4.01-compat.patch"]
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. Fluorine 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: [
  ["frama-c.install" "md5=86508360ef0e4127e85baa4dc2e60a47"]
  ["4.01-compat.patch" "md5=2895719ab5d27936e10338dfc2e2cdf0"]
]
url {
  src: "http://frama-c.com/download/frama-c-Fluorine-20130601.tar.gz"
  checksum: "md5=69eed6b3f649725bf03d8500aaeb20a5"
}
