mingw - 用 scons 在窗户上建造 clgo

Question

我正在尝试用 scons 构建 clgo。它抱怨我的编译器集是我能找到的最新版本“gcc-7-win64”。（我尝试了几个旧版本）

错误信息：

错误：找不到可用的 C++ 编译器

错误：找不到可用的野牛版本

我的第二个问题是：我应该将手动下载的库（例如 bison 以便 scons 轻松找到）放在哪里？

Answer 1

问题是 SCons 默认使用干净的环境（没有PATH设置变量），因此它找不到像“ gcc”和“ bison”这样的命令/程序。另请参阅http://scons.org/faq.html上我们最常见的常见问题解答中的 #1 。请检查 cligo 项目是否已经预见到此问题并提供类似“ --with-bison”（或类似）的命令行选项，用于在 SConstruct(s) 中设置正确的路径。

附加信息：这在 Linux 下不是什么大问题，因为有一组默认目录，例如/usr/bin在检测到 gcc/yacc/qmake 之类的工具时默认搜索...但是，当尝试与缺点。

Answer 2

Clingo 的 scons 脚本有一个配置目标。这将创建文件 build/release.py，您可以在其中调整所需的所有工具（bison、gcc、re2c）的路径。但请注意，我过去曾尝试在 Windows 上构建 cligo，但在为 Windows 寻找工作野牛版本时遇到了问题。INSTALL 文件中有一些关于此的注释。