Ssreflect Users Discussion List

[Assia Mahboubi <>]

Hi Chantal,

in fact coq_makefile can be used to generate a makefile compiling 
ssreflect theories.
In the distribution of ssreflect, you will find a Make file at the root 
of the distribution, which can be used as a model, adapted and/or 
completed with your own .v files.
As usual with coq_makefile, the approriate Makefile file is generated by :

coq_makefile  -f Make -o Makefile

Hope this helps,

assia


Chantal KELLER a écrit :
> Hello,
>
> Is there an equivalent of coq_makefile for ssrcoq ?
>
> Thanks,
> Chantal.
>