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: Enrico Tassi <>
  • To:
  • Subject: Re: [ssreflect] Problem compilation mathcomp-1.6
  • Date: Sat, 19 Dec 2015 14:54:03 +0100
  • Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None ; spf=None ; spf=None
  • Ironport-phdr: 9a23:7DHFLRwjTH3R6gbXCy+O+j09IxM/srCxBDY+r6Qd0e4UIJqq85mqBkHD//Il1AaPBtWFraocw8Pt8IneGkU4qa6bt34DdJEeHzQksu4x2zIaPcieFEfgJ+TrZSFpVO5LVVti4m3peRMNQJW2WVTerzWI4CIIHV2nbEwudrqzQtaapv/0/t7x0qWbWx9Piju5bOE6BzSNhiKViPMrh5B/IL060BrDrygAUe1XwWR1OQDbxE6ktY/jtKJkpj9Lof8v88NLTY3/ZL59TLpCDT1gMmYv5cStuwOQYxGI4y4xVH8XmR0APwHe9xCyCpr3qCrxsaxh0TKBPOX3S6o1UHKs9fE4G1fTlC4bOmthoynsgctqgfcDrQ==
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!

Many thanks
--
Enrico Tassi

Archive powered by MHonArc 2.6.18.

Top of Page