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