: 可是奇怪的是我繼續按make，每次都會重複顯示compile的兩行資訊（ex： g++ -o....） : 也沒有任何error資訊 : 感覺是他就是又重做一次了，（沒有顯示...up to date） : Q1.這樣結果算是正常的吧？ : Q2.那為何make怎麼按他都只是把檔案再compile一次而不是出現up to date呢？ You can try these two options: ============================ hw1.1.p4: main.o ... g++ -o $@ .... ============================ all: main.o libsolver.a g++ -o hw1.1.p4 .... ============================ And you should see the difference. Hope you can figure out why!! : Q3.（可以問一下老師aaa檔案下面那串數字的意義嗎？） Please refer: 1. Please google "DIMACS format" 2. Boolean Satisfiability Problem http://en.wikipedia.org/wiki/Boolean_satisfiability_problem 3. Conjunctive Normal Form (CNF) http://en.wikipedia.org/wiki/Conjunctive_normal_form : ps： : 1.我系統是VM, ubuntu10.04 : 2.我還是用原始的那六個步驟方法裝zlib : （因為sudo apt-get install zliblg-dev我打了還是沒反應orz) : 問題有點多，想請大家幫忙! You are welcome!! --

※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 140.112.21.241