3 ms·

I just tried on a Raspberry Pi Model 3B, BCM2835 ARMv7, 4 cores, Raspbian Linux 4.9.59-v7+ armv7l; "time ./lua build.lua ../LeanQt -P HAVE_GUI" reported 65 minu

by Rochus 4y ago

I just tried on a Raspberry Pi Model 3B, BCM2835 ARMv7, 4 cores, Raspbian Linux 4.9.59-v7+ armv7l; "time ./lua build.lua ../LeanQt -P HAVE_GUI" reported 65 minutes (rounded).