Ubuntu源码安装Danfy

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

创新互联公司专注于企业成都全网营销推广、网站重做改版、新城网站定制设计、自适应品牌网站建设、H5技术、商城网站制作、集团公司官网建设、外贸营销网站建设、高端网站制作、响应式网页设计等建站业务，价格优惠性价比高，为新城等各大城市提供网站开发制作服务。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

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

网站题目：Ubuntu源码安装Danfy-创新互联
网站路径：http://cdweb.net/article/ccdiog.html