Skip to Content.
Sympa Menu

ssreflect - Re: [ssreflect] Problem compilation mathcomp-1.6

Subject: Ssreflect Users Discussion List

List archive

Re: [ssreflect] Problem compilation mathcomp-1.6


Chronological Thread 
  • From: Florent Hivert <>
  • To: Enrico Tassi <>
  • Cc:
  • Subject: Re: [ssreflect] Problem compilation mathcomp-1.6
  • Date: Sat, 19 Dec 2015 16:10:10 +0100
  • Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None ; spf=None ; spf=None
  • Ironport-phdr: 9a23:OO04+RTBNszXvxjZW0tKHnfZGdpsv+yvbD5Q0YIujvd0So/mwa64YxCN2/xhgRfzUJnB7Loc0qyN4/6mATRIyK3CmU5BWaQEbwUCh8QSkl5oK+++Imq/EsTXaTcnFt9JTl5v8iLzG0FUHMHjew+a+SXqvnYsExnyfTB4Ov7yUtaLyZ/niabqo9X6WEZhunmUWftKNhK4rAHc5IE9oLBJDeIP8CbPuWZCYO9MxGlldhq5lhf44dqsrtY4q3wD89pozcNLUL37cqIkVvQYSW1+ayFmrPHs4DTFVwqE4TMgW34Nk1IcDg7f7Rr9GIv4qTD7nut7wiiTe8PsG+MaQzOnuolvTwXljjtPFz8n/XvLwpheiKVBrRS94Tx+3YPOfKmRLvs4cLmLLoBSfnZIQssED38JOYi7dYZaSrNZZes=
On Sat, Dec 19, 2015 at 02:54:03PM +0100, Enrico Tassi wrote:
> On Sat, Dec 19, 2015 at 02:02:19PM +0100, Guillaume Melquiond wrote:
> > > Are you saying that 'make -j 10' does not work?
> >
> > Since ssrcoqdep is constantly creating and deleting the bkpcoqdep
> > directory, having two ssrcoqdep instances running concurrently might
> > well cause a race.
>
> Ah! Good guess!

This is indeed exactly what's happening. Does it means that one cannot compile
mathcomp using several core ?

Cheers,

Florent

Archive powered by MHonArc 2.6.18.

Top of Page