# This file is generated by dune, edit dune-project instead
depends: [
  "ocaml" {>= "4.13.1"}
  "dune" {>= "3.7" & != "3.13.0"}
  "frama-c" {>= "29.0~" & < "30.0~"}
  "odoc" {with-doc}
]
build: [
  ["dune" "subst"] {dev}
  [
    "dune"
    "build"
    "-p"
    name
    "-j"
    jobs
    "--promote-install-files=false"
    "@install"
    "@runtest" {with-test}
    "@doc" {with-doc}
  ]
  ["dune" "install" "-p" name "--create-install-files" name]
]
opam-version: "2.0"
synopsis: "Lannotate plugin of Frama-C, part of the LTest suite "
description:"""
Lannotate is a plugin that introduces labels and hyperlabels formalizing
test objectives corresponding to the coverage criteria selected by the user.
It is part of LTest, a set of plug-in dedicated to managing test coverage.
Other plug-ins in LTest include:
- Luncov, for detecting polluting (infeasible or redundant) objectives
- Lreplay, for executing a test suite and computing its coverage status
"""
maintainer: "virgile.prevosto@cea.fr"
authors: [
  "Omar Chebaro"
  "Mickaël Delahaye"
  "Michael Marcozzi"
  "Thibault Martin"
]
homepage: "https://frama-c.com/"
license: "LGPL-2.1-only"
dev-repo: "git+https://git.frama-c.com/pub/ltest/lannotate.git"
bug-reports: "git+https://git.frama-c.com/pub/ltest/lannotate/-/issues"
tags: [
  "software testing"
  "Frama-C"
  "LTest"
]
url {
  src:
    "https://git.frama-c.com/pub/ltest/lannotate/-/archive/0.2.3/lannotate-0.2.3.tar.bz2"
  checksum: [
    "md5=93f0b2ec2c39599b70bb4f2d504ab817"
    "sha512=1682fddf70d90db51bf8fbfa688fb6a898f779e720cccc064298665d34dab2960c8b621abf1ee9bdd0117759f4c5a3def8d689edd10549fc7440edaba1730d96"
  ]
}