From 2e70c20d5477b365639527a70ac57b49b15a52ee Mon Sep 17 00:00:00 2001
From: Jan-Oliver Kaiser <janno@skylabs-ai.com>
Date: Wed, 19 Nov 2025 12:38:14 +0100
Subject: [PATCH] [SkyLabs AI] Use dune in opam package.

---
 coq-stdpp-bitvector.opam | 15 +++++++++++++--
 coq-stdpp-unstable.opam  | 15 +++++++++++++--
 coq-stdpp.opam           | 15 +++++++++++++--
 3 files changed, 39 insertions(+), 6 deletions(-)

diff --git a/coq-stdpp-bitvector.opam b/coq-stdpp-bitvector.opam
index e36c977..1e49a1b 100644
--- a/coq-stdpp-bitvector.opam
+++ b/coq-stdpp-bitvector.opam
@@ -22,5 +22,16 @@ depends: [
   "coq-stdpp" {= version}
 ]
 
-build: ["./make-package" "stdpp_bitvector" "-j%{jobs}%"]
-install: ["./make-package" "stdpp_bitvector" "install"]
+build: [
+  [
+    "dune"
+    "build"
+    "-p"
+    name
+    "-j"
+    jobs
+    "@install"
+    "@runtest" {with-test}
+    "@doc" {with-doc}
+  ]
+]
diff --git a/coq-stdpp-unstable.opam b/coq-stdpp-unstable.opam
index 936f622..18b5390 100644
--- a/coq-stdpp-unstable.opam
+++ b/coq-stdpp-unstable.opam
@@ -21,5 +21,16 @@ depends: [
   "coq-stdpp-bitvector" {= version}
 ]
 
-build: ["./make-package" "stdpp_unstable" "-j%{jobs}%"]
-install: ["./make-package" "stdpp_unstable" "install"]
+build: [
+  [
+    "dune"
+    "build"
+    "-p"
+    name
+    "-j"
+    jobs
+    "@install"
+    "@runtest" {with-test}
+    "@doc" {with-doc}
+  ]
+]
diff --git a/coq-stdpp.opam b/coq-stdpp.opam
index 5e30829..6e10ab9 100644
--- a/coq-stdpp.opam
+++ b/coq-stdpp.opam
@@ -37,5 +37,16 @@ depends: [
   "rocq-stdlib" { = "dev" }
 ]
 
-build: ["./make-package" "stdpp" "-j%{jobs}%"]
-install: ["./make-package" "stdpp" "install"]
+build: [
+  [
+    "dune"
+    "build"
+    "-p"
+    name
+    "-j"
+    jobs
+    "@install"
+    "@runtest" {with-test}
+    "@doc" {with-doc}
+  ]
+]