Re: [問題] make小問題

[ric2k1 (Ric)]

: 可是奇怪的是我繼續按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
→ BBSealion:謝謝 了解了!