如何在Mac上安装当前的Frama-C版本及其先决条件?
我有一台运行Mac OS X 10.6.8的笔记本电脑和一台运行Mac OS X 10.7.5的台式机
我可以安装软件.我也可以使用机器实验室
我们的技术支持人员将安装Mac OS X 10.8
如果我问得很好
我有一个学生对程序分析感兴趣,需要一些东西
我们有一个理解和增加的战斗机会.我已经
意识到Frama-C,另一所大学的同事推荐了它.
我曾经尝试过安装Frama-C而且失败了.同事
评论说他有同样的经历.好吧,时代变了.所以我参观了
Frama-C网站比以往任何时候都更令人印象深刻,更加热衷于此
着想它.
frama-c.com下载页面没有指向任何二进制文件的链接
任何平台的当前(Flourine 3)版本.安装链接
指令带我到一个页面,说下载自动安装程序.
什么自动安装程序?
有旧版Mac OS X的说明,但遵循它们
没用;根据指示生成一个先决条件
状态,下一个先决条件(gtksourceview)不会安装.
当然,我检查了旧版本,我发现有一个氮气
适用于Mac OS X Leopard的版本,但“请以root身份解压缩归档/”
要求我执行不可能的事情.我没有root帐户
永远不会给一个(机器都属于大学).它是
完全可以在任何你喜欢的地方安装gcc和clang;为什么
Frama-C想要进/?