codex.opam

# This file is generated by dune, edit dune-project instead
opam-version: "2.0"
version: "1.0-rc1"
synopsis: "The Codex library for static analysis"
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"}
  "bheap" {>= "2.0.0"}
  "camlp-streams" {>= "5.0.1"}
  "mlcuddidl" {>= "3.0.8"}
  "qcheck-core" {>= "0.21.2"}
  "pacomb" {>= "1.3"}
  "ppx_inline_test" {>= "v0.16.0"}
  "zarith" {>= "1.13"}
  "patricia-tree" {>= "0.10.0"}
  "odoc" {with-doc}
]
build: [
  ["dune" "subst"] {dev}
  [
    "dune"
    "build"
    "-p"
    name
    "-j"
    jobs
    "@install"
    "@runtest" {with-test}
    "@doc" {with-doc}
  ]
]