mingw - scons を使用して Windows でクリンゴを構築する

Question

私はsconsでクリンゴを構築しようとしています。私が見つけた「gcc-7-win64」の最新バージョンであるコンパイラセットについて不平を言っています。（いくつかの古いバージョンで試しました）

エラー メッセージ:

エラー: 使用可能な C++ コンパイラが見つかりません

エラー: 使用可能な bison バージョンが見つかりません

私の2番目の質問はこれです.sconsが簡単に見つけられるように、bisonなどの手動でダウンロードしたライブラリをどこに置くべきですか?

Answer 1

Clingo の scons スクリプトにはconfigureターゲットがあります。これにより、必要なすべてのツール (bison、gcc、re2c) へのパスを調整できるファイル build/release.py が作成されます。しかし、注意してください、私は過去にWindowsでクリンゴを構築しようとしましたが、Windows用の動作するbisonバージョンを見つけるのに問題がありました. これについては、INSTALL ファイルにいくつかの注意事項があります。