diff options
| author | Emilio Jesus Gallego Arias | 2020-12-04 17:20:28 +0100 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2020-12-04 17:24:20 +0100 |
| commit | 92ea6137a2fc2a70b5e26cfb154d0372974f93b2 (patch) | |
| tree | e8fe1bed836c168523688267a3e7d26b05127044 /dune-project | |
| parent | 4d21a082f4bc1a2a98328abc545a22f448affdf4 (diff) | |
[dune] [opam] Disable dune subst in opam files until the upstream fix is propagated
`dune subst` is broken on unicode files, see
https://github.com/ocaml/dune/pull/3879 and
https://github.com/ocaml/dune/pull/3879
This is a frequent problem, introduced by
https://github.com/coq/coq/pull/13374 , so disabling pending on dune
2.8 being released.
Diffstat (limited to 'dune-project')
| -rw-r--r-- | dune-project | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/dune-project b/dune-project index 1265c993b7..1187c58449 100644 --- 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 <coqdev@inria.fr>") |