栏目分类:
子分类:
返回
名师互学网用户登录
快速导航关闭
当前搜索
当前分类
子分类
实用工具
热门搜索
名师互学网 > IT > 系统运维 > 运维 > Linux

Tamarin-prover的安装问题

Linux 更新时间: 发布时间: IT归档 最新发布 模块sitemap 名妆网 法律咨询 聚返吧 英语巴士网 伯小乐 网商动力

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.

转载请注明:文章转载自 www.mshxw.com
本文地址:https://www.mshxw.com/it/705675.html
我们一直用心在做
关于我们 文章归档 网站地图 联系我们

版权所有 (c)2021-2022 MSHXW.COM

ICP备案号:晋ICP备2021003244-6号