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

(using dune_site 0.1)

(using menhir 2.1)
(cram enable)

(generate_opam_files true)

(package
  (name caisar)
  (synopsis "Framework for neural network verification")
  (depends
   (ocaml (>= 4.13.0))
   (dune-site (>= 2.9.0))
   (piqi (>= 0.7.6))
   (piqilib (>= 0.6.14))
   (zarith (>= 1.7))
   (ocplib-endian (>= 1.0))
   (dune (>= 2.7.1))
   (base (>= v0.14.0))
   (stdio (>= v0.14.0))
   (cmdliner (>= 1.0.4))
   (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.4.0))
   re
   onnx
  )
  (sites
   (share stdlib)
   (share config)
  )
)

(package
  (name nnet)
  (synopsis "NNet parser")
  (depends
   (ocaml (>= 4.10))
   (dune (>= 2.9.1))
   (base (>= v0.14.0))
  )
)

(package
  (name onnx)
  (synopsis "ONNX parser")
  (depends
   (ocaml (>= 4.10))
   (dune (>= 2.9.1))
   (base (>= v0.14.0))
   (ocaml-protoc-plugin (= 4.2.0))
  )
)