frama_c_codex.opam

# This file is generated by dune, edit dune-project instead
opam-version: "2.0"
synopsis: """
The Frama-C/Codex plugin for modular static analysis of C.
The package contains both a standalone frama_c_codex executable, as well
as a plugin which works on patched versions of Frama_C."""
maintainer: ["Matthieu Lemerre <matthieu.lemerre@cea.fr>"]
authors: [
  "Matthieu Lemerre"
  "Julien Simonnet"
  "Olivier Nicole"
  "Dorian Lesbre"
  "Iker Canut"
  "Corentin Gendreau"
  "Guillaume Girol"
]
license: "LGPL-2.1"
bug-reports: "https://github.com/codex-semantics-library/codex/issues"
depends: [
  "dune" {>= "2.8"}
  "frama-c" {>= "26.0" & < "28.0"}
  "codex" {>= "1.0-rc1"}
  "odoc" {with-doc}
]
build: [
  ["dune" "subst"] {dev}
  [
    "dune"
    "build"
    "-p"
    name
    "-j"
    jobs
    "@install"
    "@runtest" {with-test}
    "@doc" {with-doc}
  ]
]