Merge pull request coq#424 from MSoegtropIMC/add-back-metacoq-rm

Opam: coq-metacoq-template: add back the 'rm _PluginProject' fix
MSoegtropIMC · Jul 24, 2024 · 4a04a4d · 4a04a4d
2 parents 0956664 + 6e54f2b
commit 4a04a4d
Show file tree

Hide file tree

Showing 4 changed files with 4 additions and 0 deletions.
diff --git a/...pam-coq-archive/released/packages/coq-metacoq-template/coq-metacoq-template.1.2+8.16/opam b/...pam-coq-archive/released/packages/coq-metacoq-template/coq-metacoq-template.1.2+8.16/opam
@@ -22,6 +22,7 @@ license: "MIT"
 patches: [ "Fix make issues Coq Platform CI.patch" ]
 build: [
   ["bash" "./configure.sh"]
+  ["rm" "-f" "template-coq/_PluginProject" "template-coq/_TemplateCoqProject"]
   [make "-j" "%{jobs}%" "template-coq"]
 ]
 install: [

diff --git a/...pam-coq-archive/released/packages/coq-metacoq-template/coq-metacoq-template.1.2+8.17/opam b/...pam-coq-archive/released/packages/coq-metacoq-template/coq-metacoq-template.1.2+8.17/opam
@@ -22,6 +22,7 @@ license: "MIT"
 patches: [ "Fix make issues Coq Platform CI.patch" ]
 build: [
   ["bash" "./configure.sh"]
+  ["rm" "-f" "template-coq/_PluginProject" "template-coq/_TemplateCoqProject"]
   [make "-j" "%{jobs}%" "template-coq"]
 ]
 install: [

diff --git a/...m-coq-archive/released/packages/coq-metacoq-template/coq-metacoq-template.1.2.1+8.18/opam b/...m-coq-archive/released/packages/coq-metacoq-template/coq-metacoq-template.1.2.1+8.18/opam
@@ -22,6 +22,7 @@ license: "MIT"
 patches: [ "Fix make issues Coq Platform CI.patch" ]
 build: [
   ["bash" "./configure.sh"]
+  ["rm" "-f" "template-coq/_PluginProject" "template-coq/_TemplateCoqProject"]
   [make "-j" "%{jobs}%" "-C" "template-coq"]
 ]
 install: [

diff --git a/...m-coq-archive/released/packages/coq-metacoq-template/coq-metacoq-template.1.3.1+8.19/opam b/...m-coq-archive/released/packages/coq-metacoq-template/coq-metacoq-template.1.3.1+8.19/opam
@@ -22,6 +22,7 @@ license: "MIT"
 patches: [ "Fix make issues Coq Platform CI.patch" ]
 build: [
   ["bash" "./configure.sh"]
+  ["rm" "-f" "template-coq/_PluginProject" "template-coq/_TemplateCoqProject"]
   [make "-j" "%{jobs}%" "-C" "template-coq"]
 ]
 install: [