Ubuntu源碼安裝Danfy-創(chuàng)新互聯(lián)

Ubuntu源碼安裝Danfy

• • dotnet-sdk-6.0
  • 安裝java
  • 下載和編譯dafny
  • 參考鏈接

創(chuàng)新互聯(lián)公司專注于企業(yè)成都全網(wǎng)營銷推廣、網(wǎng)站重做改版、新城網(wǎng)站定制設(shè)計、自適應(yīng)品牌網(wǎng)站建設(shè)、H5技術(shù)、商城網(wǎng)站制作、集團(tuán)公司官網(wǎng)建設(shè)、外貿(mào)營銷網(wǎng)站建設(shè)、高端網(wǎng)站制作、響應(yīng)式網(wǎng)頁設(shè)計等建站業(yè)務(wù)，價格優(yōu)惠性價比高，為新城等各大城市提供網(wǎng)站開發(fā)制作服務(wù)。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

可能會出現(xiàn)如下錯誤：

缺少aspnetcore-runtime-6.0和dotnet-runtime-6.0兩個包的安裝，繼續(xù)安裝上述兩個包

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

出現(xiàn)如下，則表示安裝成功

參考鏈接

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

你是否還在尋找穩(wěn)定的海外服務(wù)器提供商？創(chuàng)新互聯(lián)www.cdcxhl.cn海外機(jī)房具備T級流量清洗系統(tǒng)配攻擊溯源，準(zhǔn)確流量調(diào)度確保服務(wù)器高可用性，企業(yè)級服務(wù)器適合批量采購，新人活動首月15元起，快前往官網(wǎng)查看詳情吧

分享標(biāo)題：Ubuntu源碼安裝Danfy-創(chuàng)新互聯(lián)
網(wǎng)站鏈接：http://www.jbt999.com/article6/ccdiog.html

成都網(wǎng)站建設(shè)公司_創(chuàng)新互聯(lián)，為您提供企業(yè)網(wǎng)站制作、用戶體驗(yàn)、自適應(yīng)網(wǎng)站、面包屑導(dǎo)航、電子商務(wù)、網(wǎng)站收錄

廣告

聲明：本網(wǎng)站發(fā)布的內(nèi)容（圖片、視頻和文字）以用戶投稿、用戶轉(zhuǎn)載內(nèi)容為主，如果涉及侵權(quán)請盡快告知，我們將會在第一時間刪除。文章觀點(diǎn)不代表本網(wǎng)站立場，如需處理請聯(lián)系客服。電話：028-86922220；郵箱：[email protected]。內(nèi)容未經(jīng)允許不得轉(zhuǎn)載，或轉(zhuǎn)載時需注明來源： 創(chuàng)新互聯(lián)