Ubuntu源码安装Danfy

dotnet-sdk-6.0

sudo apt-get update
sudo apt-get upgrade
sudo apt-get install dotnet-sdk-6.0

找不到dotnet-sdk-6.0包，需要在/etc/apt/source.list中添加源：

sudo gedit /etc/apt/source.list
#添加deb http://cz.archive.ubuntu.com/ubuntu jammy-updates main universe
sudo apt-get update
sudo apt-get upgrade

可能会出现如下错误：

缺少aspnetcore-runtime-6.0和dotnet-runtime-6.0两个包的安装，继续安装上述两个包

sudo apt-get install aspnetcore-runtime-6.0
sudo apt-get install dotnet-runtime-6.0

此时报错信息如下：

安装libicu70找不到包名，/etc/apt/source.list添加源

#添加deb http://cz.archive.ubuntu.com/ubuntu jammy main 
sudo apt-get update
sudo apt-get upgrade
sudo apt-get install libicu70
sudo apt-get install dot-net-sdk-6.0

安装java

sudo apt-get install openjdk-11-jdk
export VA_HOME="/usr/lib/jvm/java-11-openjdk-amd64"

下载和编译dafny

git clone https://github.com/dafny-lang/dafny.git --recurse-submodules
cd dafny
make exe
make z3-ubuntu
./Scripts/quicktest.sh

出现如下，则表示安装成功

参考链接

[1] https://github.com/dafny-lang/dafny/wiki/INSTALL#linux-source