dune-project

(lang dune 2.9)
(name caisar)
(version 0.1)

(using dune_site 0.1)

(using menhir 2.1)
(cram enable)

(generate_opam_files true)

(license LGPL-2.1-only)
(authors "LAISER team, Software Safety and Security Laboratory, CEA-List")
(maintainers "LAISER 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-nnet)
  (synopsis "NNet parser for CAISAR")
  (depends
   (ocaml (>= 4.13))
   (base (>= v0.14.0))
   (csv (>= 2.4))
  )
)

(package
  (name caisar-ovo)
  (synopsis "OVO parser for CAISAR")
  (depends
   (ocaml (>= 4.13))
   (base (>= v0.14.0))
   (csv (>= 2.4))
  )
)

(package
  (name caisar-onnx)
  (synopsis "ONNX parser for CAISAR")
  (depends
   (ocaml (>= 4.13))
   (base (>= v0.14.0))
   (stdio (>= v0.14.0))
   (ocaml-protoc-plugin (>= 4.2.0))
  )
)

(package
  (name caisar-ir)
  (synopsis "CAISAR's intermediate representation")
  (depends
   (ocaml (>= 4.13))
   (dune (>= 2.9.3))
   (base (>= v0.14.0))
   (ocaml-protoc-plugin (= 4.2.0))
   (ocamlgraph (>= 1.8.8))
   (ppx_inline_test (>= 0.12.0))
   (ppx_deriving (>= 4.4.1))
  )
)

(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.14.0))
   (stdio (>= v0.14.0))
   (cmdliner (>= 1.1.1))
   (fmt (>= 0.8.9))
   (logs (>= 0.7.0))
   (ppx_deriving (>= 5.1))
   (yojson (>= 1.7.0))
   (menhirLib (>= 20210310))
   (ppx_deriving_yojson (>= 3.6.1))
   (csv (>= 2.4))
   (why3 (>= 1.6.0))
   (re (>= 1.10.4))
   (fpath (>= 0.7.3))
   (yaml (>= 3.1.0))
   (caisar-nnet (= :version))
   (caisar-ovo (= :version))
   (caisar-onnx (= :version))
   (caisar-ir (= :version))
  )
  (sites
   (share stdlib)
   (share config)
  )
)