Ssreflect Users Discussion List

[Maxime Dénès <>]

Hello,

You may have overwritten the original Makefile by one generated with the 
coq_makefile tool. If this is the case, a simple:

rm Makefile
svn up
make

should solve your problem.

Sorry if I'm wrong.

Best,
Maxime.


On 13/06/2011 19:51, Evgeny Makarov wrote:
> > The release version, 1.3pl1, is for Coq 8.3 not for Coq-trunk.
> > If you want to grab version that works with trunk, you can take a
> > snapshot from:
> >
> >   
> > https://gforge.inria.fr/scm/viewvc.php/trunk/Saclay/Ssreflect/?root=coq-contribs
> Thanks. I checked out the SVN version of ssreflect (revision 1510).
> How do I compile it? When I say "make", I get this error message:
>
> src/ssreflect.ml4:1: *** missing separator.  Stop.
>
> Evgeny