[dune] [opam] Disable dune subst in opam files until the upstream fix…

… is propagated `dune subst` is broken on unicode files, see ocaml/dune#3879 and ocaml/dune#3879 This is a frequent problem, so disabling pending on dune 2.8 being released.
ejgallego · Dec 4, 2020 · 1e5d0d4 · 1e5d0d4
1 parent 4d21a08
commit 1e5d0d4
Show file tree

Hide file tree

Showing 5 changed files with 12 additions and 5 deletions.
diff --git a/coq-doc.opam b/coq-doc.opam
@@ -20,7 +20,8 @@ depends: [
   "coq" {build & = version}
 ]
 build: [
-  ["dune" "subst"] {pinned}
+# Disabled until Dune 2.8 is available
+# ["dune" "subst"] {pinned}
   [
     "dune"
     "build"

diff --git a/coq.opam b/coq.opam
@@ -26,7 +26,8 @@ depends: [
   "zarith" {>= "1.10"}
 ]
 build: [
-  ["dune" "subst"] {pinned}
+# Disabled until Dune 2.8 is available
+# ["dune" "subst"] {pinned}
   [
     "dune"
     "build"

diff --git a/coqide-server.opam b/coqide-server.opam
@@ -23,7 +23,8 @@ depends: [
   "coq" {= version}
 ]
 build: [
-  ["dune" "subst"] {pinned}
+# Disabled until Dune 2.8 is available
+# ["dune" "subst"] {pinned}
   [
     "dune"
     "build"

diff --git a/coqide.opam b/coqide.opam
@@ -21,7 +21,8 @@ depends: [
   "coqide-server" {= version}
 ]
 build: [
-  ["dune" "subst"] {pinned}
+# Disabled until Dune 2.8 is available
+# ["dune" "subst"] {pinned}
   [
     "dune"
     "build"

diff --git a/dune-project b/dune-project
@@ -5,7 +5,10 @@
 (formatting
  (enabled_for ocaml))
 
-(generate_opam_files true)
+; Pending on dune 2.8 as to avoid bug with dune subst
+; see https://github.com/ocaml/dune/pull/3879 and
+; https://github.com/ocaml/dune/pull/3879
+; (generate_opam_files true)
 
 (license LGPL-2.1-only)
 (maintainers "The Coq development team <[email protected]>")