我正在尝试在我的 PC 上编译 yap,因为似乎 YAP 默认安装程序没有启用深度限制标志。我需要这个来处理 Aleph 上的 ILP 项目。
问题是,我被迫使用装有 Windows 8 的 PC,而没有足够的内存用于 Linux 虚拟机。我让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 现在已经过时了,有谁知道如何解决这个问题?