作者BBSealion (海狮)
看板EE_DSnP
标题[问题] make小问题
时间Wed Oct 13 11:34:03 2010
在做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)
1F：推 ggegge:zlib1g-dev 'l' and '1' is different!!! 10/13 16:09
2F：→ BBSealion:原来ORZ 10/14 14:33