diff --git a/packages/coq/coq.8.12.0/opam b/packages/coq/coq.8.12.0/opam
index 1f5f0b66623..da5ddc32872 100644
--- a/packages/coq/coq.8.12.0/opam
+++ b/packages/coq/coq.8.12.0/opam
@@ -38,12 +38,12 @@ build: [
     "-coqide" "no"
     "-native-compiler" "yes" {coq-native:installed} "no" {!coq-native:installed}
   ]
-  [make "-j%{jobs}%"]
-  [make "-j%{jobs}%" "byte"]
+  [make "COQ_USE_DUNE=" "-j%{jobs}%"]
+  [make "COQ_USE_DUNE=" "-j%{jobs}%" "byte"]
 ]
 install: [
-  [make "install"]
-  [make "install-byte"]
+  [make "COQ_USE_DUNE=" "install"]
+  [make "COQ_USE_DUNE=" "install-byte"]
 ]
 
 extra-files: [
diff --git a/packages/coq/coq.8.12.1/opam b/packages/coq/coq.8.12.1/opam
index 0ef8b21483a..5eed88dd76d 100644
--- a/packages/coq/coq.8.12.1/opam
+++ b/packages/coq/coq.8.12.1/opam
@@ -38,12 +38,12 @@ build: [
     "-coqide" "no"
     "-native-compiler" "yes" {coq-native:installed} "no" {!coq-native:installed}
   ]
-  [make "-j%{jobs}%"]
-  [make "-j%{jobs}%" "byte"]
+  [make "COQ_USE_DUNE=" "-j%{jobs}%"]
+  [make "COQ_USE_DUNE=" "-j%{jobs}%" "byte"]
 ]
 install: [
-  [make "install"]
-  [make "install-byte"]
+  [make "COQ_USE_DUNE=" "install"]
+  [make "COQ_USE_DUNE=" "install-byte"]
 ]
 
 extra-files: [
diff --git a/packages/coq/coq.8.12.2/opam b/packages/coq/coq.8.12.2/opam
index d9acf98f113..a981faeeac4 100644
--- a/packages/coq/coq.8.12.2/opam
+++ b/packages/coq/coq.8.12.2/opam
@@ -38,12 +38,12 @@ build: [
     "-coqide" "no"
     "-native-compiler" "yes" {coq-native:installed} "no" {!coq-native:installed}
   ]
-  [make "-j%{jobs}%"]
-  [make "-j%{jobs}%" "byte"]
+  [make "COQ_USE_DUNE=" "-j%{jobs}%"]
+  [make "COQ_USE_DUNE=" "-j%{jobs}%" "byte"]
 ]
 install: [
-  [make "install"]
-  [make "install-byte"]
+  [make "COQ_USE_DUNE=" "install"]
+  [make "COQ_USE_DUNE=" "install-byte"]
 ]
 
 extra-files: [
diff --git a/packages/coq/coq.8.13.0/opam b/packages/coq/coq.8.13.0/opam
index bf4404a6717..82569e53f2f 100644
--- a/packages/coq/coq.8.13.0/opam
+++ b/packages/coq/coq.8.13.0/opam
@@ -42,12 +42,12 @@ build: [
     "-coqide" "no"
     "-native-compiler" "yes" {coq-native:installed} "no" {!coq-native:installed}
   ]
-  [make "-j%{jobs}%"]
-  [make "-j%{jobs}%" "byte"]
+  [make "COQ_USE_DUNE=" "-j%{jobs}%"]
+  [make "COQ_USE_DUNE=" "-j%{jobs}%" "byte"]
 ]
 install: [
-  [make "install"]
-  [make "install-byte"]
+  [make "COQ_USE_DUNE=" "install"]
+  [make "COQ_USE_DUNE=" "install-byte"]
 ]
 
 extra-files: [
diff --git a/packages/coq/coq.8.13.1/opam b/packages/coq/coq.8.13.1/opam
index ccc244deeed..da77a780dde 100644
--- a/packages/coq/coq.8.13.1/opam
+++ b/packages/coq/coq.8.13.1/opam
@@ -42,12 +42,12 @@ build: [
     "-coqide" "no"
     "-native-compiler" "yes" {coq-native:installed} "no" {!coq-native:installed}
   ]
-  [make "-j%{jobs}%"]
-  [make "-j%{jobs}%" "byte"]
+  [make "COQ_USE_DUNE=" "-j%{jobs}%"]
+  [make "COQ_USE_DUNE=" "-j%{jobs}%" "byte"]
 ]
 install: [
-  [make "install"]
-  [make "install-byte"]
+  [make "COQ_USE_DUNE=" "install"]
+  [make "COQ_USE_DUNE=" "install-byte"]
 ]
 
 extra-files: [
diff --git a/packages/coq/coq.8.13.2/opam b/packages/coq/coq.8.13.2/opam
index 2a47cfca634..e462a5d67fe 100644
--- a/packages/coq/coq.8.13.2/opam
+++ b/packages/coq/coq.8.13.2/opam
@@ -42,12 +42,12 @@ build: [
     "-coqide" "no"
     "-native-compiler" "yes" {coq-native:installed} "no" {!coq-native:installed}
   ]
-  [make "-j%{jobs}%"]
-  [make "-j%{jobs}%" "byte"]
+  [make "COQ_USE_DUNE=" "-j%{jobs}%"]
+  [make "COQ_USE_DUNE=" "-j%{jobs}%" "byte"]
 ]
 install: [
-  [make "install"]
-  [make "install-byte"]
+  [make "COQ_USE_DUNE=" "install"]
+  [make "COQ_USE_DUNE=" "install-byte"]
 ]
 
 extra-files: [
diff --git a/packages/coqide/coqide.8.12.0/opam b/packages/coqide/coqide.8.12.0/opam
index ee20bd3c65c..2c0fd30cf3c 100644
--- a/packages/coqide/coqide.8.12.0/opam
+++ b/packages/coqide/coqide.8.12.0/opam
@@ -30,11 +30,11 @@ build: [
     "-datadir" "%{share}%/coq"
     "-native-compiler" {os = "macos"} "no" {os = "macos"}
   ]
-  [make "-j%{jobs}%" "coqide-files"]
-  [make "-j%{jobs}%" "coqide-opt"]
+  [make "COQ_USE_DUNE=" "-j%{jobs}%" "coqide-files"]
+  [make "COQ_USE_DUNE=" "-j%{jobs}%" "coqide-opt"]
 ]
 install: [
-  make
+  make "COQ_USE_DUNE="
   "install-ide-bin"
   "install-ide-files"
   "install-ide-info"
diff --git a/packages/coqide/coqide.8.12.1/opam b/packages/coqide/coqide.8.12.1/opam
index 504c5c18d10..3eaf43a95aa 100644
--- a/packages/coqide/coqide.8.12.1/opam
+++ b/packages/coqide/coqide.8.12.1/opam
@@ -30,11 +30,11 @@ build: [
     "-datadir" "%{share}%/coq"
     "-native-compiler" {os = "macos"} "no" {os = "macos"}
   ]
-  [make "-j%{jobs}%" "coqide-files"]
-  [make "-j%{jobs}%" "coqide-opt"]
+  [make "COQ_USE_DUNE=" "-j%{jobs}%" "coqide-files"]
+  [make "COQ_USE_DUNE=" "-j%{jobs}%" "coqide-opt"]
 ]
 install: [
-  make
+  make "COQ_USE_DUNE="
   "install-ide-bin"
   "install-ide-files"
   "install-ide-info"
diff --git a/packages/coqide/coqide.8.12.2/opam b/packages/coqide/coqide.8.12.2/opam
index 3570c4bb069..b407e572418 100644
--- a/packages/coqide/coqide.8.12.2/opam
+++ b/packages/coqide/coqide.8.12.2/opam
@@ -30,11 +30,11 @@ build: [
     "-datadir" "%{share}%/coq"
     "-native-compiler" {os = "macos"} "no" {os = "macos"}
   ]
-  [make "-j%{jobs}%" "coqide-files"]
-  [make "-j%{jobs}%" "coqide-opt"]
+  [make "COQ_USE_DUNE=" "-j%{jobs}%" "coqide-files"]
+  [make "COQ_USE_DUNE=" "-j%{jobs}%" "coqide-opt"]
 ]
 install: [
-  make
+  make "COQ_USE_DUNE="
   "install-ide-bin"
   "install-ide-files"
   "install-ide-info"
diff --git a/packages/coqide/coqide.8.13.0/opam b/packages/coqide/coqide.8.13.0/opam
index fbe85467f47..ed4bce06b9a 100644
--- a/packages/coqide/coqide.8.13.0/opam
+++ b/packages/coqide/coqide.8.13.0/opam
@@ -30,11 +30,11 @@ build: [
     "-datadir" "%{share}%/coq"
     "-native-compiler" "yes" {coq-native:installed} "no" {!coq-native:installed}
   ]
-  [make "-j%{jobs}%" "coqide-files"]
-  [make "-j%{jobs}%" "coqide-opt"]
+  [make "COQ_USE_DUNE=" "-j%{jobs}%" "coqide-files"]
+  [make "COQ_USE_DUNE=" "-j%{jobs}%" "coqide-opt"]
 ]
 install: [
-  make
+  make "COQ_USE_DUNE="
   "install-ide-bin"
   "install-ide-files"
   "install-ide-info"
diff --git a/packages/coqide/coqide.8.13.1/opam b/packages/coqide/coqide.8.13.1/opam
index 8a77c59df58..2c00f5f7ac8 100644
--- a/packages/coqide/coqide.8.13.1/opam
+++ b/packages/coqide/coqide.8.13.1/opam
@@ -30,11 +30,11 @@ build: [
     "-datadir" "%{share}%/coq"
     "-native-compiler" "yes" {coq-native:installed} "no" {!coq-native:installed}
   ]
-  [make "-j%{jobs}%" "coqide-files"]
-  [make "-j%{jobs}%" "coqide-opt"]
+  [make "COQ_USE_DUNE=" "-j%{jobs}%" "coqide-files"]
+  [make "COQ_USE_DUNE=" "-j%{jobs}%" "coqide-opt"]
 ]
 install: [
-  make
+  make "COQ_USE_DUNE="
   "install-ide-bin"
   "install-ide-files"
   "install-ide-info"
diff --git a/packages/coqide/coqide.8.13.2/opam b/packages/coqide/coqide.8.13.2/opam
index a04f9e62e95..6a8f6019689 100644
--- a/packages/coqide/coqide.8.13.2/opam
+++ b/packages/coqide/coqide.8.13.2/opam
@@ -30,11 +30,11 @@ build: [
     "-datadir" "%{share}%/coq"
     "-native-compiler" "yes" {coq-native:installed} "no" {!coq-native:installed}
   ]
-  [make "-j%{jobs}%" "coqide-files"]
-  [make "-j%{jobs}%" "coqide-opt"]
+  [make "COQ_USE_DUNE=" "-j%{jobs}%" "coqide-files"]
+  [make "COQ_USE_DUNE=" "-j%{jobs}%" "coqide-opt"]
 ]
 install: [
-  make
+  make "COQ_USE_DUNE="
   "install-ide-bin"
   "install-ide-files"
   "install-ide-info"