作者ric2k1 (Ric)
看板EE_DSnP
標題[公告] sat/Makefile
時間Tue Jan 11 03:58:25 2011
更新一下:
EXTHDRS = sat.h Solver.h SolverTypes.h VarOrder.h Proof.h Global.h \
File.h Heap.h Sort.h
在 include 裏頭也應該要有相對應的 symbolic links
如遇到 make 時 complain "xxx file not found",
請 make clean, 或是 "rm -f src/sat/.extheader.mak"
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 114.36.51.20