形式化验证工具tamarin的安装&使用

安装linuxbrew

在ubuntu终端输入git clone https://github.com/Linuxbrew/brew.git ~/.linuxbrew
再输入git clone https://github.com/Linuxbrew/homebrew-core ~/.linuxbrew/Library/Taps/homebrew
编辑profile文件sudo vim /etc/profile
在该文件末尾添加export PATH="$HOME/.linuxbrew/bin:$PATH" export MANPATH="$HOME/.linuxbrew/share/man:$MANPATH" export INFOPATH="$HOME/.linuxbrew/share/info:$INFOPATH" ``保存后，在终端输入`source /etc/profile` 默认源太慢了，而且有无法安装的情况，所以需要更换成国内的源，我使用的是中科大的源。在终端依次输入 （我用的是win10自带ubuntu，发现在窗口标题栏点击右键-编辑，可以选择粘贴和复制）
cd “$(brew--repo)"gitremoteset-urloriginhttps://mirrors.ustc.edu.cn/brew.gitcd"$(brew --repo)/Library/Taps/homebrew/homebrew-core”
git remote set-url origin https://mirrors.ustc.edu.cn/homebrew-core.git
echo ‘export HOMEBREW_BOTTLE_DO
MAIN=https://mirrors.ustc.edu.cn/homebrew-bottles’ >> ~/.bash_profile
source ~/.bash_profile

# 安装tamari
[tamarin官网](https://tamarin-prover.github.io/manual/book/002_installation.html)介绍了如何安装和使用1. 根据官网提示，在终端输入`brew install tamarin-prover/tap/tamarin-prover`报错：SHA256 mismatch，并且重新尝试安装需要删除*--jdk14u-jdk-14.0.1-ga.tar.bz2。
输入`rm -f /.cache/Homebrew/downloads/文件名` 删除文件
 查找资料发现需要找到原来的sha256进行替换，输入`brew edit openjdk`，报错，x-ruby……好像只能在mac上使用？？？明日再。
![在这里插入图片描述](https://img-blog.csdnimg.cn/20201008190049905.png#pic_center)
2. 第二种方法是下载源代码，自己安装依赖库。按照官网提示输入`brew install tamarin-prover/tap/maude graphviz haskell-stack` 安装依赖库，出现错误
![在这里插入图片描述](https://img-blog.csdnimg.cn/20201010160125655.png#pic_center)
输入`brew install gcc`依然报错，所以又用`sudo apt install gcc`安装了gcc，再次安装依赖库，又报错
![在这里插入图片描述](https://img-blog.csdnimg.cn/20201010160845350.png#pic_center)