Merge pull request #25529 from mseri/relax-dune

mseri · web-flow · commit 0b0de1c1fc63 · 2024-03-20T13:56:08.000+01:00
Relax windows incompatibility for dune 3.7.0
diff --git a/packages/dune/dune.3.7.0/opam b/packages/dune/dune.3.7.0/opam
@@ -54,4 +54,6 @@ url {
   ]
 }
 x-commit-hash: "d3d628f2eda2278bd2df6e37452d8693f367fcfd"
-available: os != "win32"
+post-messages: [
+  "Please note that this version of dune does not support unicode characters on Windows and may behave unexpectedly, consider updating to version 3.14.2 or greater" {os = "win32"}
+]

Original file line number	Diff line number	Diff line change
`@@ -54,4 +54,6 @@ url {`
`54`	`54`	`]`
`55`	`55`	`}`
`56`	`56`	`x-commit-hash: "d3d628f2eda2278bd2df6e37452d8693f367fcfd"`
`57`		`-available: os != "win32"`
	`57`	`+post-messages: [`
	`58`	`+ "Please note that this version of dune does not support unicode characters on Windows and may behave unexpectedly, consider updating to version 3.14.2 or greater" {os = "win32"}`
	`59`	`+]`