On 13/06/13 18:36, Vo Minh Thu wrote: > "For example, here is a run with GHC, no special options and using 4 > threads (note that this generally takes a long time, i.e. a few days):" My builds finished in < 10 hours on an i7.