ONNX protobuf interface and dependencies

caisar.opam

@@ -7,7 +7,13 @@ depends: [
   "dune" {>= "2.9" & >= "2.9.0"}
   "dune-site" {>= "2.9.0"}
   "why3"
+  "piqi" {>= "0.7.6"}
+  "piqilib" {>= "0.6.14"}
+  "zarith" {>= "1.7"}
+  "ocplib-endian" {>= "1.0"}
+  "dune" {>= "2.7" & >= "2.7.1"}
   "base" {>= "v0.14.0"}
+  "stdio" {>= "v0.14.0"}
   "cmdliner" {>= "1.0.4"}
   "fmt" {>= "0.8.9"}
   "logs" {>= "0.7.0"}

dune-project

@@ -16,8 +16,13 @@
    (ocaml (>= 4.10))
    (dune (>= 2.9.0))
    (dune-site (>= 2.9.0))
-   why3
+   (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))

standalone/dune

@@ -12,4 +12,10 @@
   (libraries menhirLib yojson cmdliner logs logs.cli logs.fmt fmt.tty base unix str ppx_deriving_yojson.runtime)
   (preprocess (pps ppx_deriving_yojson ppx_deriving.show ppx_deriving.ord ppx_deriving.eq))
   (package caisar)
+  (libraries menhirLib yojson cmdliner logs logs.cli
+             ocplib-endian logs.fmt fmt.tty base unix str
+             ppx_deriving_yojson.runtime piqirun.pb zarith
+             stdio)
+  (preprocess (pps ppx_deriving_yojson ppx_deriving.show ppx_deriving.ord ppx_deriving.eq))
+  (package caisar)
 )