mono: patch for Ventura

[fxcoudert]

Mono build issue on Ventura reported at mono/mono#21567
The patch is adapted from dotnet: dotnet/runtime#76433

[fxcoudert]

Build failing on ARM Ventura, in fsharp:

==> ./build.sh --configuration Release
/private/tmp/mono--fsharp-20221201-7573-1rmtltd/.dotnet/dotnet-install.sh: line 594: wget: command not found
/private/tmp/mono--fsharp-20221201-7573-1rmtltd/.dotnet/dotnet-install.sh: line 594: wget: command not found
dotnet-install: Downloading link: https://dotnetcli.azureedge.net/dotnet/Sdk/3.1.405/dotnet-sdk-3.1.405-osx-x64.tar.gz
dotnet-install: Extracting zip from https://dotnetcli.azureedge.net/dotnet/Sdk/3.1.405/dotnet-sdk-3.1.405-osx-x64.tar.gz
dotnet-install: Adding to current process PATH: `/private/tmp/mono--fsharp-20221201-7573-1rmtltd/.dotnet`. Note: This change will be visible only when sourcing script.
dotnet-install: Installation finished successfully.
FSharp.sln:
/private/tmp/mono--fsharp-20221201-7573-1rmtltd/eng/common/tools.sh: line 447: /private/tmp/mono--fsharp-20221201-7573-1rmtltd/.dotnet/dotnet: Bad CPU type in executable
Build failed (exit code '126').
Error preparing build (exit code '126').

Maybe it passed on previous CI versions because they have Rosetta :(

[Bo98]

Yeah needs at least .NET 6. (Not entirely sure why it's using 3.1 - I would have expected it to be using .NET 5 given it's F# 5 but it doesn't really matter since neither would work.) So I guess we need F# 6: mono/mono#21312.

I guess patching it to build on .NET 6 could be an alternative, though perhaps a little risky.

[cho-m]

Could also temporarily disable F# on ARM. mono formula on ARM is already pared down as I had disabled MSBuild when working on bottling Mono for ARM -- #111080.

MSBuild support is still pending on uplift to v17 and F# seems to be in a similar situation of waiting on a new version.

[fxcoudert]

@p-linnane why do not merge? I intend to merge this, it brings build on Intel Ventura, which is better than nothing.

[p-linnane]

Tagged it due to the feedback from @Bo98 & @cho-m.

[BrewTestBot]

@fxcoudert has triggered a merge.