dune-project

(lang dune 3.8)
(name caisar)
(version 2.0)

(using dune_site 0.1)

(using menhir 2.1)
(cram enable)

(generate_opam_files true)

(license LGPL-2.1-only)
(authors "AISER team, Software Safety and Security Laboratory, CEA-List")
(maintainers "AISER team, Software Safety and Security Laboratory, CEA-List")
(source (uri "git+https://git.frama-c.com/pub/caisar.git"))
(bug_reports https://git.frama-c.com/pub/caisar/issues)
(homepage https://git.frama-c.com/pub/caisar)
(documentation https://git.frama-c.com/pub/caisar)

(package
  (name caisar)
  (synopsis "A platform for characterizing the safety and robustness of artificial intelligence based software")
  (depends
   (ocaml (>= 4.13))
   (dune-site (>= 2.9.0))
   (piqi (>= 0.7.6))
   (piqilib (>= 0.6.14))
   (zarith (>= 1.7))
   (ocplib-endian (>= 1.0))
   (base (>= v0.15.1))
   (stdio (>= v0.14.0))
   (cmdliner (>= 1.1.1))
   (fmt (>= 0.8.9))
   (logs (>= 0.7.0))
   (yojson (>= 1.7.0))
   (menhirLib (>= 20210310))
   (csv (>= 2.4))
   (why3 (= 1.6.0))
   (re (>= 1.10.4))
   (fpath (>= 0.7.3))
   (yaml (>= 3.1.0))
   (ocaml-protoc-plugin (>= 4.2.0))
   (stdio (>= v0.14.0))
   (ocamlgraph (>= 1.8.8))
   (ppx_deriving (>= 5.1))
   (ppx_inline_test (>= 0.12.0))
   (ppx_deriving_yojson (>= 3.6.1))
   (conf-python-3 :with-test)
  )
  (sites
   (share stdlib)
   (share config)
  )
)