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