作者ric2k1 (Ric)
看板EE_DSnP
标题Re: [问题] make小问题
时间Wed Oct 13 12:18:15 2010
: 可是奇怪的是我继续按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
1F：→ BBSealion:谢谢 了解了! 10/14 14:33