9 Mar
2016
9 Mar
'16
21:58
Here are some build times using the default compiler after a plain “./configure” on a Raspberry Pi 2 B. cutie-pi:~/programs/gambit> time make -j 3 from-scratch 5626.900u 111.090s 33:19.28 287.0% 0+0k 456+751584io 20pf+0w cutie-pi:~/programs/gambit> time make doc 125.540u 1.960s 2:12.44 96.2% 0+0k 31216+29640io 72pf+0w cutie-pi:~/programs/gambit> time make check 168.360u 6.900s 2:58.68 98.0% 0+0k 0+46320io 0pf+0w So, not so bad without --enable-single-host. Now I just need to remember to do this every once in a while. Perhaps someone with a new Pi3 could do the same experiment and report the results. Brad