Ubuntu源码安装Danfy-创新互联

• • dotnet-sdk-6.0
  • 安装java
  • 下载和编译dafny
  • 参考链接

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

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

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

你是否还在寻找稳定的海外服务器提供商？创新互联www.cdcxhl.cn海外机房具备T级流量清洗系统配攻击溯源，准确流量调度确保服务器高可用性，企业级服务器适合批量采购，新人活动首月15元起，快前往官网查看详情吧