推 ggegge:zlib1g-dev 'l' and '1' is different!!! 10/13 16:09
→ BBSealion:原來ORZ 10/14 14:33
在做hw1.1.4的問題的時
按下make之後
再把老師說的aaa.cnf的文字部分丟進去執行會出現
===============...
| ...
| ...
===============...
...
restart :1
conflict :0
decision :1
...
最後是SATISFIABLE
（但把那串數字也丟進去就變成UNTISFIABLE了）
想說應該是對了
可是奇怪的是我繼續按make，每次都會重複顯示compile的兩行資訊（ex： g++ -o....）
也沒有任何error資訊
感覺是他就是又重做一次了，（沒有顯示...up to date）
Q1.這樣結果算是正常的吧？
Q2.那為何make怎麼按他都只是把檔案再compile一次而不是出現up to date呢？
Q3.（可以問一下老師aaa檔案下面那串數字的意義嗎？）
ps：
1.我系統是VM, ubuntu10.04
2.我還是用原始的那六個步驟方法裝zlib
（因為sudo apt-get install zliblg-dev我打了還是沒反應orz)
問題有點多，想請大家幫忙!
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 218.168.223.221
※ 編輯: BBSealion 來自: 218.168.223.221 (10/13 11:39)