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