[問題] sat make error

[Letitiamm (Letitia)]

請問一下
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
→ Letitiamm:其實我第一次make的時候error是：
→ Letitiamm:error: Solver.h   :沒此一檔案或目錄
→ Letitiamm:再make一次才會出現文中那樣的error
→ Letitiamm:但是我在fraig/Makefile裡 SPCPKGS:util cir sat
※ 編輯: Letitiamm       來自: 140.112.216.200      (01/15 18:09)
→ Letitiamm:不知道為什麼 他會找不到Solver.h 這個檔案
推 ric2k1:Please make sure there are symbolic links of those
→ ric2k1:header files in include directory.
→ ric2k1:if not, rm -f src/sat/.extheader.mak, and then
→ ric2k1:make clean.