Ssreflect Users Discussion List

[Chantal KELLER <>]

Assia Mahboubi a écrit :
> Hi Chantal,

Hi Assia,

> 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.

Ok, I did not know that we were able to precise the compiler to
coq_makefile.

> As usual with coq_makefile, the approriate Makefile file is generated by :
> 
> coq_makefile  -f Make -o Makefile
> 
> Hope this helps,

Thanks a lot,

> assia

Chantal.
-- 
Chantal KELLER