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