Ssreflect Users Discussion List

[Florent Hivert <>]

   Dear Enrico,

> Once the .d files are there, you can surely pass -j10.
> 
> What is broken is the wrapper around coqdep (needed only for coq 8.4)
> that can be probably fixed by commenting out the 'rm -rf' near the end
> and adding -p to each mkdir call near the beginning.

Thanks for the explanation. Everything is working now. I manage to compile my
code at <https://github.com/hivert/Coq-Combi>. By the way, you may want to add
this code to your user list. I'm not sure it makes much sense to add me to
your organization since what I'm doing is not that mainstream, but if you feel
its a good idea, then I gladly join.

Cheers,

Florent