Fix #18836

ocaml · Sep 29, 2021 · 5b7b2e9 · 5b7b2e9
1 parent 121933f
commit 5b7b2e9
Show file tree

Hide file tree

Showing 12 changed files with 42 additions and 42 deletions.
diff --git 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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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"