[release][wip] Custom action to ensure python3 onnx package is available for tests

caisar.opam

@@ -38,6 +38,7 @@ depends: [
   "conf-python-3" {with-test}
   "odoc" {with-doc}
 ]
+dev-repo: "git+https://git.frama-c.com/pub/caisar.git"
 build: [
   ["dune" "subst"] {dev}
   [
@@ -49,9 +50,9 @@ build: [
     jobs
     "--promote-install-files=false"
     "@install"
+    "@ensures-onnx"
     "@runtest" {with-test}
     "@doc" {with-doc}
   ]
   ["dune" "install" "-p" name "--create-install-files" name]
 ]
-dev-repo: "git+https://git.frama-c.com/pub/caisar.git"

caisar.opam.template

+build: [
+  ["dune" "subst"] {dev}
+  [
+    "dune"
+    "build"
+    "-p"
+    name
+    "-j"
+    jobs
+    "--promote-install-files=false"
+    "@install"
+    "@ensures-onnx"
+    "@runtest" {with-test}
+    "@doc" {with-doc}
+  ]
+  ["dune" "install" "-p" name "--create-install-files" name]
+]

tests/dune

+(rule
+  (alias ensures-onnx)
+  (deps (package caisar))
+  (action
+    (system "curl https://bootstrap.pypa.io/get-pip.py -o get-pip.py && python3 get-pip.py && python3 -m pip install onnx"))
+)
+
 (cram
  (alias local)
  (applies_to * \ nir_to_onnx acasxu_ci arithmetic comparison sequencing)