From abela at chalmers.se  Wed Jul  3 22:33:47 2019
From: abela at chalmers.se (Andreas Abel)
Date: Wed, 3 Jul 2019 22:33:47 +0200
Subject: [Agda-dev] (Negative) record for compiling Agda from scratch
Message-ID: <9967ea94-ea07-fb3a-5a5e-ea0b31c3c458@chalmers.se>

`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/

From kahl at cas.mcmaster.ca  Thu Jul  4 21:45:31 2019
From: kahl at cas.mcmaster.ca (Wolfram Kahl)
Date: Thu, 4 Jul 2019 15:45:31 -0400
Subject: [Agda-dev] (Negative) record for compiling Agda from scratch
In-Reply-To: <9967ea94-ea07-fb3a-5a5e-ea0b31c3c458@chalmers.se>
References: <9967ea94-ea07-fb3a-5a5e-ea0b31c3c458@chalmers.se>
Message-ID: <20190704194531.GO1166@ritchie.cas.mcmaster.ca>

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