Gecodeライブラリが含まれるように、「RuntimeGecode」フラグを指定してmonadiccpをインストールしようとしています:
cabal install monadiccp --flags="RuntimeGecode Debug" --extra-lib-dirs="D:\Programme\Gecode\lib;d:\programme\Gecode\bin" --extra-include-dirs=D:\Programme\Gecode\include\
しかし、それは機能しません。次のように失敗します。
ld.exe: cannot find -lgecodesupport
ld.exe: cannot find -lgecodeset
など... -v3 ログ出力を参照してください。
私は何を間違っていますか？ライブラリは特別なものではないようですが、Windows で行う必要がある追加の手順はありますか?
更新: gecode.org からダウンロード可能なバイナリは Visual Studio でコンパイルされており、gcc と互換性がありません (根本的な問題については、この回答を参照してください)。Stephen が提案したように、ソースから MinGW/MSYS を使用して Gecode をビルドしてみます。