2.8.4. still fails to install dafny backend on macos

[kjx]

Type: Bug

now on M2 mac air, still doesn't work. see #246

delete path settings to homebrew dafny
accept extension upgrace
reload
dafny crashes as follows:

[Error - 10:22:52 AM] Connection to server is erroring. Shutting down server.
Failed to load /Users/kjx/.vscode/extensions/dafny-lang.ide-vscode-2.8.4/out/resources/3.9.0/dafny/libhostpolicy.dylib, error: dlopen(/Users/kjx/.vscode/extensions/dafny-lang.ide-vscode-2.8.4/out/resources/3.9.0/dafny/libhostpolicy.dylib, 0x0001): tried: '/Users/kjx/.vscode/extensions/dafny-lang.ide-vscode-2.8.4/out/resources/3.9.0/dafny/libhostpolicy.dylib' (mach-o file, but is an incompatible architecture (have (x86_64), need (arm64e)))
An error occurred while loading required library libhostpolicy.dylib from [/Users/kjx/.vscode/extensions/dafny-lang.ide-vscode-2.8.4/out/resources/3.9.0/dafny/]

Extension version: 2.8.4
VS Code version: Code 1.72.1 (129500ee4c8ab7263461ffe327268ba56b9f210d, 2022-10-10T17:25:13.482Z)
OS version: Darwin x64 21.6.0
Modes:
Sandboxed: No

System Info

Item	Value
CPUs	Apple M2 (8 x 24)
GPU Status	2d_canvas: enabled canvas_oop_rasterization: disabled_off direct_rendering_display_compositor: disabled_off_ok gpu_compositing: enabled metal: disabled_off multiple_raster_threads: enabled_on opengl: enabled_on rasterization: enabled raw_draw: disabled_off_ok skia_renderer: enabled_on video_decode: enabled video_encode: enabled vulkan: disabled_off webgl: enabled webgl2: enabled webgpu: disabled_off
Load (avg)	3, 10, 12
Memory (System)	24.00GB (0.11GB free)
Process Argv	--crash-reporter-id cbc8828b-9f0c-43dc-9ec9-540e2195ee37
Screen Reader	no
VM	0%

A/B Experiments

vsliv368:30146709
vsreu685:30147344
python383:30185418
vspor879:30202332
vspor708:30202333
vspor363:30204092
vswsl492cf:30256860
vstes627:30244334
vslsvsres303:30308271
pythonvspyl392:30443607
vserr242cf:30382550
pythontb:30283811
vsjup518:30340749
pythonptprofiler:30281270
vshan820:30294714
vstes263:30335439
pythondataviewer:30285071
vscod805:30301674
binariesv615:30325510
bridge0708:30335490
bridge0723:30353136
cmake_vspar411:30581797
vsaa593cf:30376535
pythonvs932:30410667
cppdebug:30492333
vscaat:30438848
vsclangdf:30486550
c4g48928:30535728
dsvsc012:30540252
azure-dev_surveyone:30548225
2144e591:30553903
pyindex848:30577860
nodejswelcome1cf:30583748
fc301958:30573243

[kjx]

got the latest IDE just now, v3.0.3. Still doesn't work

Failed to load /Users/kjx/.vscode/extensions/dafny-lang.ide-vscode-3.0.3/out/resources/3.10.0/github/dafny/libhostpolicy.dylib, error: dlopen(/Users/kjx/.vscode/extensions/dafny-lang.ide-vscode-3.0.3/out/resources/3.10.0/github/dafny/libhostpolicy.dylib, 0x0001): tried: '/Users/kjx/.vscode/extensions/dafny-lang.ide-vscode-3.0.3/out/resources/3.10.0/github/dafny/libhostpolicy.dylib' (mach-o file, but is an incompatible architecture (have 'x86_64', need 'arm64')), '/System/Volumes/Preboot/Cryptexes/OS/Users/kjx/.vscode/extensions/dafny-lang.ide-vscode-3.0.3/out/resources/3.10.0/github/dafny/libhostpolicy.dylib' (no such file), '/Users/kjx/.vscode/extensions/dafny-lang.ide-vscode-3.0.3/out/resources/3.10.0/github/dafny/libhostpolicy.dylib' (mach-o file, but is an incompatible architecture (have 'x86_64', need 'arm64'))
An error occurred while loading required library libhostpolicy.dylib from [/Users/kjx/.vscode/extensions/dafny-lang.ide-vscode-3.0.3/out/resources/3.10.0/github/dafny/]
[Error - 3:28:50 PM] Connection to server got closed. Server will not be restarted.

[MikaelMayer]

@keyboardDrummer weren't we handling arm64 binaries? Could you diagnose what happened?

[keyboardDrummer]

@kjx could you delete /Users/kjx/.vscode/extensions/dafny-lang.ide-vscode-3.0.3/out/resources/3.10.0/ and then restart VSCode and open a Dafny file, and inspect the "Output" tab while looking at the "Dafny VSCode" channel, so you see output like the following:

Standalone language server installation started.
deleting previous Dafny installation at /Users/<user>/.vscode/extensions/dafny-lang.ide-vscode-3.0.3/out/resources/3.10.0/github
downloading Dafny from https://github.com/dafny-lang/dafny/releases/download/v3.10.0/dafny-3.10.0-x64-osx-10.14.2.zip
0%...10%...20%...30%...40%...50%...60%...70%...80%...90%...100%
extracting Dafny to /Users/<user>/.vscode/extensions/dafny-lang.ide-vscode-3.0.3/out/resources/3.10.0/github
0%...10%...20%...30%...40%...50%...60%...70%...80%...90%...100%
Standalone language server installation completed.
Language server: {"command":"/usr/local/bin/dotnet","args":["/Users/<user>/.vscode/extensions/dafny-lang.ide-vscode-3.0.3/out/resources/3.10.0/github/dafny/Dafny.dll","server","--verify-on:Save","--verification-time-limit:20","--cache-verification=0","--cores:7","--notify-ghostness:true","--notify-line-verification-status:false","--warn-shadowing"]}

And then paste that output here?

In your case it should download from https://github.com/dafny-lang/dafny/releases/download/v3.10.0/dafny-3.10.0-arm64-osx-11.0.zip

[kjx]

Hmm. so I tried that. I managed to delete the files OK, but now get a different error popup:

/opt/homebrew/bin/dotnet is not a compatible dotnet file. Dafny requires the ASP.NET Core Runtime 5.0 or 6.0, got Microsoft.AspNetCore.App 7.0.0 [/opt/homebrew/Cellar/dotnet/7.0.100/libexec/shared/Microsoft.AspNetCore.App] Microsoft.NETCore.App 7.0.0 [/opt/homebrew/Cellar/dotnet/7.0.100/libexec/shared/Microsoft.NETCore.App]

then i installed the binary for botnet 6.-0 but cant find it.
dafny 3.10 3.10.0.41215 keeps working from the command line...

[kjx]

So I found botnet 6 installed it, set the path, restarted VScode and eventually...

from the Dafny VSCode channel:

Standalone language server installation started.
deleting previous Dafny installation at /Users/kjx/.vscode/extensions/dafny-lang.ide-vscode-3.0.3/out/resources/3.10.0/github
downloading Dafny from https://github.com/dafny-lang/dafny/releases/download/v3.10.0/dafny-3.10.0-x64-osx-10.14.2.zip
0%...10%...20%...30%...40%...50%...60%...70%...80%...90%...100%
extracting Dafny to /Users/kjx/.vscode/extensions/dafny-lang.ide-vscode-3.0.3/out/resources/3.10.0/github
0%...10%...20%...30%...40%...50%...60%...70%...80%...90%...100%
Standalone language server installation completed.
Language server: {"command":"/usr/local/share/dotnet/dotnet","args":["/Users/kjx/.vscode/extensions/dafny-lang.ide-vscode-3.0.3/out/resources/3.10.0/github/dafny/Dafny.dll","server","--verify-on:Save","--verification-time-limit:10","--cache-verification=0","--cores:8","--notify-ghostness:true","--notify-line-verification-status:true","--verifier:vcscores=8"]}

Meanwhile the Dafny Language Server Channel

[Error - 5:54:51 AM] Connection to server is erroring. Shutting down server.
Failed to load /Users/kjx/.vscode/extensions/dafny-lang.ide-vscode-3.0.3/out/resources/3.10.0/github/dafny/libhostpolicy.dylib, error: dlopen(/Users/kjx/.vscode/extensions/dafny-lang.ide-vscode-3.0.3/out/resources/3.10.0/github/dafny/libhostpolicy.dylib, 0x0001): tried: '/Users/kjx/.vscode/extensions/dafny-lang.ide-vscode-3.0.3/out/resources/3.10.0/github/dafny/libhostpolicy.dylib' (mach-o file, but is an incompatible architecture (have 'x86_64', need 'arm64')), '/System/Volumes/Preboot/Cryptexes/OS/Users/kjx/.vscode/extensions/dafny-lang.ide-vscode-3.0.3/out/resources/3.10.0/github/dafny/libhostpolicy.dylib' (no such file), '/Users/kjx/.vscode/extensions/dafny-lang.ide-vscode-3.0.3/out/resources/3.10.0/github/dafny/libhostpolicy.dylib' (mach-o file, but is an incompatible architecture (have 'x86_64', need 'arm64'))
An error occurred while loading required library libhostpolicy.dylib from [/Users/kjx/.vscode/extensions/dafny-lang.ide-vscode-3.0.3/out/resources/3.10.0/github/dafny/]

[kjx]

soL then I delete the botnet 6 path, point at the home-brew dafny, and al goes fine