Ni! Hi Hugo,
Your config.log very likely has a more useful description of the issue. Take a look and share it here. Good luck, q. On 15-11-2012 10:40, Hugo Leeney wrote: > Oh sorry, I have a bunch of log outputs on my terminal - I just picked > the wrong one. I have been permutating versions ... I get the same > result in 2.72. _______________________________________________ graph-tool mailing list graph-tool@skewed.de http://lists.skewed.de/mailman/listinfo/graph-tool