[Agda-dev] (Negative) record for compiling Agda from scratch

[Wolfram Kahl]

On Wed, Jul 03, 2019 at 10:33:47PM +0200, Andreas Abel wrote:
> `make install-bin` with 1 processor:
> 
> Installing executable agda in /Users/abel/.cabal/bin
> Completed    Agda-2.6.1
> 
> real	47m7.987s
> user	37m23.334s
> sys	2m25.781s


To make it more impressive, use /usr/bin/time instead of the shell built-in time,
and add the output of:

  head -n 22 /proc/cpuinfo

;-)


Wolfram