使用 scons 在 windows 上构建 clingo

Building clingo on windows with scons

我正在尝试用 scons 构建 clingo。它抱怨我的编译器集是我能找到的 "gcc-7-win64" 最新版本。 (我用几个旧版本试过)

错误信息:

错误:找不到可用的 c++ 编译器

错误:找不到可用的 bison 版本

我的第二个问题是:我应该把我手动下载的库放在哪里,比如 bison for scons 以便于找到?

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

附加信息:在 Linux 下,这不是什么大问题,因为在检测 gcc/yacc/qmake 等工具时,会默认搜索一组默认目录,如 /usr/bin。 ..它可以在尝试 cross-compile with SCons.

时得到一个

Clingo 的 scons 脚本有一个 configure 目标。这将创建文件 build/release.py,您可以在其中调整所有所需工具(bison、gcc、re2c)的路径。但请注意,我过去曾尝试在 windows 上构建 clingo,但在为 windows 找到可用的 bison 版本时遇到了问题。在安装文件中有一些关于这个的注释。