tree 624bb18d82688890e85ea78d652397dffaee9339
parent 44870efb5483399bd00082885e4f99a2201c44c9
author Zhenkai Zhu <zhenkai@cs.ucla.edu> 1356645720 -0800
committer Zhenkai Zhu <zhenkai@cs.ucla.edu> 1356645720 -0800

waf 1.7.8 complains "cannot find boost". waf 1.7.0 does the work.