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 13:41:24 +0100
  • Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None ; spf=None ; spf=None
  • Ironport-phdr: 9a23:RXRTwRxRw+GfwWDXCy+O+j09IxM/srCxBDY+r6Qd0e4UIJqq85mqBkHD//Il1AaPBtWFraocw8Pt8IneGkU4qa6bt34DdJEeHzQksu4x2zIaPcieFEfgJ+TrZSFpVO5LVVti4m3peRMNQJW2WVTerzWI4CIIHV2nbEwudrqzQtaapv/0/t7x0qWbWx9Piju5bOE6BzSNhiKViPMrh5B/IL060BrDrygAUe1XwWR1OQDbxE6ktY/jtKJkpj9Lof8v88NLTY3/ZL59TLpCDT1gMmYv5cStuwOQYxGI4y4xVH8XmR0APwHe9xCyCpr3qCrxsaxh0TKBPOX3S6o1UHKs9fE4G1fTlC4bOmthoynsgctqgfcDrQ==
On Sat, Dec 19, 2015 at 12:44:26PM +0100, Florent Hivert wrote:
> Dear Enrico,
>
> > Thanks for your quick answer. Any info you may need ? I'm not sure I'll be
> > able to answer question next week ;-)
>
> I got my problem: I was compiling with $MAKE=make -j 10...

Are you saying that 'make -j 10' does not work?

> Now I got a different problem:

Looks like the dependencies are broken, probably some .d files are left
over. Do a 'git clean -dfx' and retry please.

Best
--
Enrico Tassi

Archive powered by MHonArc 2.6.18.

Top of Page