this kind of specific question, but, unable cmake , make compile yet prolog in fedora 23. cloned latest repo on github, yap 6.3.4. friend ran cmake , make on identical clone on funtoo linux. when run them on fedora 23, weird errors make sense if cudd headers missing, cudd installed header files.
i hope has enough experience offer reason why cmake-generated makefile fail compile in 1 linux system while compiling on another.
here sample of make errors (makefile made cmake no errors). "unknown" type name in cudd headers installed on system. source file cplint supposed built using cudd
% yap 6.3.4-76638bb7 (compiled 2016-09-01t01:01:57@dhcp-129-8-62-64) in file included /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); ^
Comments
Post a Comment