add missing depopts

mirage · Dec 5, 2024 · 64f1a4d · 64f1a4d
1 parent dd699ba
commit 64f1a4d
Show file tree

Hide file tree

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

diff --git a/ocaml-solo5.opam b/ocaml-solo5.opam
@@ -17,6 +17,11 @@ build: [
   ]
   [make "-j%{jobs}%"]
 ]
+depopts: [
+  "ocaml-option-no-flat-float-array"
+  "ocaml-option-flambda"
+  "ocaml-option-nnp"
+]
 install: [make "install" ]
 depends: [
   "conf-which" {build}