Tamarin-prover的安装问题

安装

遵从官网的提示装是最简单的,安装的前提是配置好HomeBrew.

我们需要一台linux,我多次尝试后发现,windows上的wsl2也是可行的,安装过程是一样的.

如果homebrew官网无法安装,强烈推荐清华大学镜像站安装homebrew(homebrew | 镜像站使用帮助 | 清华大学开源软件镜像站 | Tsinghua Open Source Mirror),不要在网上随便查帖子,不然homebrew很容易配错.

brew doctor指令报的每个错我们都需要认真解决,不要想当然. 尤其是提醒你prefix not the default one, 因为一旦不是default, brew就会从source重新下载编译,而不会从bottle镜像直接拷贝,后者比前者效率高得多,出错概率少得多.

如果没有正确安装brew,在安装tamarin时会报很多错误,诸如:

curl提示 XXXX bytes remaining to read

curl提示 error decoding TLS packets

无法安装ghostscript库

某些库安装失败

解决办法有:

换一个网速更快的网络

改用ssh而不是https连接

关闭代理再试一次

心得

可以多在github上发帖问大佬,他们会回你的.

我的经历如下:https://github.com/Homebrew/discussions/discussions/2787.