作者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