coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Frédéric Blanqui <frederic.blanqui AT inria.fr>
- To: coq-club AT inria.fr
- Subject: Re: [Coq-Club] Coq 8.5 is out!
- Date: Mon, 25 Jan 2016 12:39:00 +0100
Le 25/01/2016 11:15, Enrico Tassi a écrit :
On Mon, Jan 25, 2016 at 11:08:33AM +0100, Frédéric Blanqui wrote:with the current development version of color for coq 8.5, I get:
j |Can you try with a -j6 when you have a minute?
--------------------
1 | 27'00"
3 | 10'47"
20| 6'45"
So, you can see that it is really important for me to use -j20...
1:
real 29m24.930s
user 28m0.757s
sys 1m20.625s
3:
real 11m49.757s
user 25m58.461s
sys 1m11.717s
6:
real 9m33.979s
user 28m0.672s
sys 1m17.952s
20:
real 8m12.333s
user 32m43.505s
sys 1m43.168s
Also, given that you mentioned it, do you have timings for
"make quick -j20" and "make vio2vo J=20" ?
Best,
- Re: [Coq-Club] Coq 8.5 is out!, (continued)
- Re: [Coq-Club] Coq 8.5 is out!, John Wiegley, 01/22/2016
- Re: [Coq-Club] Coq 8.5 is out!, Frédéric Blanqui, 01/22/2016
- Re: [Coq-Club] Coq 8.5 is out!, Hugo Herbelin, 01/22/2016
- Re: [Coq-Club] Coq 8.5 is out!, Maxime Dénès, 01/22/2016
- Re: [Coq-Club] Coq 8.5 is out!, Frédéric Blanqui, 01/25/2016
- Re: [Coq-Club] Coq 8.5 is out!, Guillaume Melquiond, 01/25/2016
- Re: [Coq-Club] Coq 8.5 is out!, Frédéric Blanqui, 01/25/2016
- Re: [Coq-Club] Coq 8.5 is out!, Enrico Tassi, 01/25/2016
- Re: [Coq-Club] Coq 8.5 is out!, Frédéric Blanqui, 01/25/2016
- Re: [Coq-Club] Coq 8.5 is out!, Enrico Tassi, 01/25/2016
- Re: [Coq-Club] Coq 8.5 is out!, Frédéric Blanqui, 01/25/2016
- Re: [Coq-Club] Coq 8.5 is out!, Frédéric Blanqui, 01/25/2016
- Re: [Coq-Club] Coq 8.5 is out!, Guillaume Melquiond, 01/25/2016
- Re: [Coq-Club] Coq 8.5 is out!, Frédéric Blanqui, 01/25/2016
- Re: [Coq-Club] Coq 8.5 is out!, Guillaume Melquiond, 01/25/2016
- Re: [Coq-Club] Coq 8.5 is out!, Frédéric Blanqui, 01/25/2016
- Re: [Coq-Club] Coq 8.5 is out!, Guillaume Melquiond, 01/25/2016
- Re: [Coq-Club] Coq 8.5 is out!, Jacques-Henri Jourdan, 01/25/2016
- Re: [Coq-Club] Coq 8.5 is out!, Pierre-Marie Pédrot, 01/25/2016
- Re: [Coq-Club] Coq 8.5 is out!, Emilio Jesús Gallego Arias, 01/25/2016
- Re: [Coq-Club] Coq 8.5 is out!, Guillaume Melquiond, 01/25/2016
- Re: [Coq-Club] Coq 8.5 is out!, Guillaume Melquiond, 01/25/2016
- Re: [Coq-Club] Coq 8.5 is out!, Frédéric Blanqui, 01/25/2016
- Re: [Coq-Club] Coq 8.5 is out!, Frédéric Blanqui, 01/26/2016
- Re: [Coq-Club] Coq 8.5 is out!, Maxime Dénès, 01/22/2016
- Re: [Coq-Club] Coq 8.5 is out!, Hugo Herbelin, 01/22/2016
Archive powered by MHonArc 2.6.18.