在Github上克隆了最新的repo,YAP 6.3.4。我的朋友在他的Funtoo Linux上成功地运行了cmake和make。源文件cplint应该是使用CUDD构建的
In fileincluded from /home/safulop/yap-6.3/packages/cplint/cplint_yap.c:15:
我在Ubuntu 20.04上编译YAP Prolog 6.2.2时遇到了一个问题。像往常一样,按照自述文件,我浏览到YAP文件夹并给出成功的命令./configure。接下来,我给出了命令make,但它给出了这个错误:%
% YAP OOOPS: mmap could not map at 0x10000000, got 0xffffffffffffffff.