Makefile cmake和make无法在Fedora 23中编译YAP

这是一个特定的问题，但是，我无法让cmake和make在Fedora23中编译另一个Prolog。在Github上克隆了最新的回购协议，YAP 6.3.4。我的朋友在他的Funtoo Linux上成功地运行了cmake和make。当我在Fedora23上运行它们时，会出现奇怪的错误，只有当CUDD头丢失时才有意义，但CUDD是和头文件一起安装的

我希望任何人都有足够的经验来解释为什么cmake生成的Makefile无法在一个Linux系统上编译，而在另一个Linux系统上编译

下面是生成错误的示例（使用cmake生成的Makefile没有错误）。“未知”类型名称位于安装在我的系统上的CUDD标题中。源文件cplint应该使用CUDD构建

% YAP 6.3.4-76638bb7 (compiled  2016-09-01T01:01:57@dhcp-129-8-62-64)

In file included from /home/safulop/yap-6.3/packages/cplint/cplint_yap.c:15:0:
/home/safulop/yap-6.3/packages/cplint/cplint.h:41:3: error: unknown type name ‘DdNode’
   DdNode * * booleanVars;
   ^
/home/safulop/yap-6.3/packages/cplint/cplint.h:54:3: error: unknown type name ‘DdNode’
   DdNode *key;
   ^
/home/safulop/yap-6.3/packages/cplint/cplint.h:64:33: error: unknown type name ‘DdManager’
 variables createVars(YAP_Term t,DdManager * mgr, int create_dot, 
                                 ^
/home/safulop/yap-6.3/packages/cplint/cplint.h:69:1: error: unknown type name ‘DdNode’
 DdNode * retFunction(DdManager * mgr, expr expression,variables v);
 ^
/home/safulop/yap-6.3/packages/cplint/cplint.h:69:22: error: unknown type name ‘DdManager’
 DdNode * retFunction(DdManager * mgr, expr expression,variables v);
                      ^
/home/safulop/yap-6.3/packages/cplint/cplint.h:70:1: error: unknown type name ‘DdNode’
 DdNode * retTerm(DdManager * mgr,term t,variables v);
 ^

---

正如你所说，问题来自CUDD图书馆。您需要修复Makefile中CUDD的include目录文件夹