Ssreflect Users Discussion List

[Florent Hivert <>]

      Dear Enrico,

On Sat, Dec 19, 2015 at 10:35:24AM +0100, Enrico Tassi wrote:
> On Fri, Dec 18, 2015 at 11:33:58PM +0100, Florent Hivert wrote:
> >       Dear all,
> > 
> > I tried to compile the brand new mathcomp-1.6 and I'm running into
> > trouble. The output show a lot of error messages such as
> > 
> >    mkdir: cannot create directory ‘bkpcoqdep’: File exists
> >    mv: cannot stat ‘bkpcoqdep/algebra/interval.v’: No such file or 
> > directory
> >    find: ‘bkpcoqdep’: No such file or directory
> 
> Dear Florent, looks like the etc/utils/ssrcoqdep does not work properly
> for you.
> 
> I'll look into it next week.

Thanks for your quick answer. Any info you may need ? I'm not sure I'll be
able to answer question next week ;-)

Cheers,

Florent