YAP のデフォルトのインストーラーには Depth limit フラグが有効になっていないように見えるので、PC で yap をコンパイルしようとしています。Aleph の ILP プロジェクトで作業するには、これが必要です。
問題は、Linux 仮想マシンに十分なメモリがない Windows 8 を搭載した PC を使用せざるを得ないことです。cygwin にインストールを試みましたが、インストールの「make」段階に到達すると ( http://www.dcc.fc.up.pt/~vsc/Yap/Yap4.3/yap.html# SEC2 ) 次のエラーが表示されます
$ make
Makefile:714: warning: overriding recipe for target 'yap.dll'
Makefile:545: warning: ignoring old recipe for target 'yap.dll'
gcc -mno-cygwin -c -O3 -fomit-frame-pointer -Wall -Wstrict-prototypes -Wmissing-prototypes -g -O2 -DCUT_C=1 -DCOROUTINING=1 -DRATIONAL_TREES=1 -DDEPTH_LIMIT=1 -DHAVE_CONFIG_H -D_YAP_NOT_INSTALLED_=1 -I. -I../H -I../OPTYap -I../BEAM -I../MYDDAS ../C/agc.c -o agc.o
gcc: error: unrecognized command line option ‘-mno-cygwin’
Makefile:488: recipe for target 'agc.o' failed
make: *** [agc.o] Error 1
最新の YAP が現在古くなっていることが原因だと思いますが、これを回避するために何をすべきか知っている人はいますか?