【发布时间】：2014-04-09 16:13:15
【问题描述】：
我在我教授的课程中使用 Promela 和 Spin 对并发进行建模。我也一直在使用 jspin 前端。我有学生试图在 Windows 8 上安装这些工具，但他们遇到了困难——我不知道这是 64 位还是 32 位的问题，还是他们正在使用的 gcc 版本或其他完全不同的问题。
所以我正在寻找在 Windows 8 下对这些工具进行有效配置的人，他们可以在使用工具链的方式等方面提供一些帮助。
【问题讨论】：
【发布时间】：2014-04-09 16:13:15
【问题描述】：
可能这是与 x64 相关的问题，我的一个学生在 x64 机器上也遇到了 Spin 问题，因为 compiled executables on the Spin site 仅包含适用于 Windows 的 x86 版本。在我的 x86 安装的 Windows 8.1 上，可执行文件可以完美运行。要为验证程序编译代码，我建议MinGW（在安装向导中选择“GNU C/C++ 编译器”和“Basic MinGW”安装）。这对我来说很好。
为了在 x64 机器上运行 Spin，您可能需要 Cygwin 作为模拟器，并按照 instructions for Linux systems 中的说明从头开始编译 Spin sources。
希望这会有所帮助；）
备注：用 MinGW/MSYS 编译 Spin 不起作用，至少对我来说是这样，因为有一些 Windows 不提供的对本机 Linux 函数的调用。然而，Cygwin 应该可以工作，因为 Cywin 是（根据他们的网站）“一种神奇地让原生 Windows 应用程序了解 UNIX® 功能（如信号、ptys 等）的方法。同样，如果你想使用，你需要从源代码构建你的应用程序Cygwin 功能的优势。”，这似乎确实是这里的问题。
【讨论】：