作者ric2k1 (Ric)
看板EE_DSnP
标题Re: [问题] 上传
时间Tue Jan 18 09:06:51 2011
※ 引述《pandakuo (panda)》之铭言：
: 老师的mustexist为什麽_fraig/include下的档案那麽多
: 我资料夹下载下来就没有这些档案
: 所以到底上传的档案是要？
: 扣除掉mustremove其他都上传吗
没有 sat 那些 header files 我们可能会无法 compile.
请:
1. Make sure "src/sat/Makefile"
EXTHRDS = sat.h Solver.h SolverTypes.h VarOrder.h Proof.h Global.h \
File.h Heap.h Sort.h
2. Make sure the top level Makefile
SRCPKGS = util cir sat
3. rm -f src/sat/.extheader.mak
4. make clean
5. make
这样 include 底下的那些 symbolic links 就会在了!
请不用自行 "copy" 过来!
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 114.36.62.203
1F：推 michael0728n:总之我只要make clear 再make OK就行了吗? 01/18 09:32
2F：推 isthomas:selfcheck为什麽不会过? missing file.... /include/XX.h 01/18 09:53
3F：推 onlybyrne:他是要档名为bXXXXXXXX_fraig.tgz_fraig 01/18 10:24
4F：→ onlybyrne:= =所以我们要改压缩档的名字 还是不管他直接上传 01/18 10:25
5F：→ ric2k1:好吧! 大家有上传就好，compile 的问题我们会手动处理!! 01/18 10:30
6F：推 fu3mo6:selfcheck的line32, @temp = split /_fraig/, $arg; 01/18 10:45
7F：推 fu3mo6:ceiba lag真大，是大家都在用的意思吗XD 01/18 10:55