opam-version: "2.0"
maintainer: "virgile.prevosto@m4x.org"
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.01.0"}
  "ocamlgraph" {>= "1.8.2"}
  "lablgtk"
]
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.

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=2af8e5a0449113a215d4384783c6cd76"]
url {
  src: "http://frama-c.com/download/frama-c-Fluorine-20130501.tar.gz"
  checksum: "md5=47a4c649f0b8c0f87006316054522688"
}
