Skip to content

VeriSol Run Failed (However sucessfully built with .NET Core 2.1.30)  #4

@cyruliu

Description

@cyruliu

NET Core 2.2 is no longer supported , does it work with other versions?

I'm running on Ubuntu 20.04, installed dotnet 2.1.30, following dotnet build command, it was built successfully, and dotnet install VeriSol globally was also successful, however, the link to command VeriSol was not created, try to run dotnet $verisolRoot/bin/Debug/VeriSol.dll, it show as follow:

You must install or update .NET to run this application.
Architecture: x64
Framework: 'Microsoft.NETCore.App', version '2.2.0' (x64)
.NET location: /usr/share/dotnet/

The following frameworks were found:
  2.1.30 at [/usr/share/dotnet/shared/Microsoft.NETCore.App]

Learn about framework resolution:
https://aka.ms/dotnet/app-launch-failed

To install missing framework, download:
https://aka.ms/dotnet-core-applaunch?framework=Microsoft.NETCore.App&framework_version=2.2.0&arch=x64&rid=ubuntu.20.04-x64

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions