Linux安裝TLA+ Toolbox與TLAPS

鏈接地址

1. TLA+ Toolbox： https://lamport.azurewebsites.net/tla/toolbox.html

2. TLAPS：https://tla.msr-inria.inria.fr/tlaps/content/Home.html

TLA+ Toolbox

download

選擇DOWNLOAD FROM GITHUB

這裏顯示轉到https://github.com/tlaplus/tlaplus/releases/tag/v1.7.1#latest-tla-files下載

此時可以選擇對應系統的下載，我這裏是x86_64

installing

選擇Installing the Toolbox

直接解壓zip，得到一個toolbox文件夾，裏面的toolbox就是可執行文件

TLAPS

download

進入download section

進入Linux

這裏的tlaps-1.4.5-x86_64-linux-gnu-inst.bin鏈接是Not Found，但我們可以選擇這個倉庫的其他release

我選擇x86_64

installing

按圖中要求執行即可，改成對應自己的.bin

如果從源碼安裝，是安裝在~/.opam中，使用.bin安裝在/usr/local/bin

sudo安裝時報錯如上圖，這裏sudo apt install build-essential應該也可以，但我是找倉庫的INSTALL.md，安裝其中依賴

我是Ubuntu，所以選上面一行，可行

最後根據提示添加路徑