coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Coq 8.5 is out!

From: Enrico Tassi <enrico.tassi AT inria.fr>
To: coq-club AT inria.fr
Subject: Re: [Coq-Club] Coq 8.5 is out!
Date: Mon, 25 Jan 2016 11:15:07 +0100
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=enrico.tassi AT inria.fr; spf=None smtp.mailfrom=gares AT fettunta.org; spf=None smtp.helo=postmaster AT fettunta.org
Ironport-phdr: 9a23:z1V3Vhc7UfZORRuUwnQmgY3TlGMj4u6mDksu8pMizoh2WeGdxc65bR7h7PlgxGXEQZ/co6odzbGG7ea5ADRLuMzJmUtBWaIPfidNsd8RkQ0kDZzNImzAB9muURYHGt9fXkRu5XCxPBsdMs//Y1rPvi/6tmZKSV3BPAZ4bt74BpTVx5zukbvipduKOl0D3WD1SIgxBSv1hD2ZjtMRj4pmJ/R54TryiVwMRd5rw3h1L0mYhRf265T41pdi9yNNp6BprJYYAu2pN5g/GLdfFXEtN30/zMztrxjKCwWVtVUGVWBDvxxSAgPCpC3zRYzw+n/3sPB80y7cIcTtVrEcWDK47q4tRgW+23RPDCIw7GyC0p84t6lcuh/0/xE=

On Mon, Jan 25, 2016 at 11:08:33AM +0100, Frédéric Blanqui wrote:
> j |
> --------------------
> 1 | 27'00"
> 3 | 10'47"
> 20| 6'45"
>
> So, you can see that it is really important for me to use -j20...

Can you try with a -j6 when you have a minute?

Also, given that you mentioned it, do you have timings for
"make quick -j20" and "make vio2vo J=20" ?

Best,
--
Enrico Tassi

[Coq-Club] Coq 8.5 is out!, Maxime Dénès, 01/22/2016
- 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!, 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