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

[Andreas Abel]

`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

-- 
Andreas Abel  <><      Du bist der geliebte Mensch.

Department of Computer Science and Engineering
Chalmers and Gothenburg University, Sweden

andreas.abel at gu.se
http://www.cse.chalmers.se/~abela/