作者Letitiamm (Letitia)
看板EE_DSnP
标题[问题] sat make error
时间Sat Jan 15 17:18:38 2011
请问一下
sat要用的话
是不是在cirFraig.cpp 里 include "sat.h"
sat/Makefile/EXTHDRS = sat.h Solver.h SolverTypes.h VarOrder.h Proof.h Global.h \
File.h Heap.h Sort.h
我还有漏掉什麽步骤吗
../../include/sat.h:14:20: error: Solver.h: 没有此一档案或目录
In file included from cirFraig.cpp:13:
../../include/sat.h:38: error: ‘Var’ does not name a type
../../include/sat.h:40: error: ‘Var’ has not been declared
../../include/sat.h:40: error: ‘Var’ has not been declared
../../include/sat.h:40: error: ‘Var’ has not been declared
../../include/sat.h:52: error: ‘Var’ has not been declared
../../include/sat.h:52: error: ‘Var’ has not been declared
以下省略
他出现一大串这样的东西 > <
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 140.112.216.200
1F：→ Letitiamm:其实我第一次make的时候error是： 01/15 18:06
2F：→ Letitiamm:error: Solver.h :没此一档案或目录 01/15 18:07
3F：→ Letitiamm:再make一次才会出现文中那样的error 01/15 18:07
4F：→ Letitiamm:但是我在fraig/Makefile里 SPCPKGS:util cir sat 01/15 18:09
※ 编辑: Letitiamm 来自: 140.112.216.200 (01/15 18:09)
5F：→ Letitiamm:不知道为什麽 他会找不到Solver.h 这个档案 01/15 18:10
6F：推 ric2k1:Please make sure there are symbolic links of those 01/15 18:20
7F：→ ric2k1:header files in include directory. 01/15 18:20
8F：→ ric2k1:if not, rm -f src/sat/.extheader.mak, and then 01/15 18:21
9F：→ ric2k1:make clean. 01/15 18:21