add missing depopts

mirage · Dec 5, 2024 · 52c9f8d · 52c9f8d
1 parent 958d356
commit 52c9f8d
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 0 deletions.
diff --git a/ocaml-solo5-cross-aarch64.opam b/ocaml-solo5-cross-aarch64.opam
@@ -17,6 +17,10 @@ build: [
   [make "-j%{jobs}%"]
   [make "%{name}%.install"]
 ]
+depopts: [
+  "ocaml-option-no-flat-float-array"
+  "ocaml-option-flambda"
+]
 run-test: [
   [make "test"]
 ]

diff --git a/ocaml-solo5.opam b/ocaml-solo5.opam
@@ -17,6 +17,10 @@ build: [
   [make "-j%{jobs}%"]
   [make "%{name}%.install"]
 ]
+depopts: [
+  "ocaml-option-no-flat-float-array"
+  "ocaml-option-flambda"
+]
 run-test: [
   [make "test"]
 ]