如何在Mac上安装当前的Frama-C版本及其必备组件?
我之前曾尝试安装Frama-C,但失败得很糟糕。有针对旧版本Mac的说明,但遵循这些说明并不起作用;按照说明加载一组必备组件会产生无法安装下一个必备组件(gtksourceview)的状态。当然,我检查了较旧的版本,我看到Mac OS X Leopard有一个N版本,但“请将存档解压为根目录/”要求我执行不可能的操作。
当我通过SSH登录到我的工作服务器时,我试图使用Sublime Text 2作为编辑器,但我被难住了。我发现这篇 (在其他许多文章中)看起来可能有帮助,但我并不完全遵循它,特别是在第5行中应该为远程变量输入什么值。我将"/Users/path/ to / local /copy“设置为我的本地根目录,但我不知道这是否正确,或者是否还有更多要做的事情。有什么想法吗?我在OSX10.8上