Mac 安装C语言,macos – 在Mac OS X上安装Frama-C

如何在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想要进/？