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:35:42 +0100
  • Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None ; spf=None ; spf=None
  • Ironport-phdr: 9a23:LAzNBhz+A/ZMjHbXCy+O+j09IxM/srCxBDY+r6Qd0e0SIJqq85mqBkHD//Il1AaPBtWFraocw8Pt8IneGkU4qa6bt34DdJEeHzQksu4x2zIaPcieFEfgJ+TrZSFpVO5LVVti4m3peRMNQJW2WVTerzWI4CIIHV2nbEwudrqzQtaapv/0/t7x0qWbWx9Piju5bOE6BzSNhiKViPMrh5B/IL060BrDrygAUe1XwWR1OQDbxE6ktY+YtaRu+CVIuv8n69UIEeCjJ/x5HvRkC2ELNXo078qjiRDYVgrHsnYaSGQdlVxUChPe7Tn7WI3wu230rLwu9jOdOJjYSbcuVDK+p4dqVhLylG9TGTo+6mzRlopQjbxWug6JowZ+hYDONtLGfMFid7/QKItJDVFKWdxcAmkYWtux
> > 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.

It's compiling (using only one core) right now ! Thanks.

Florent

Archive powered by MHonArc 2.6.18.

Top of Page