Skip to Content.
Sympa Menu

ssreflect - Re: Installation error

Subject: Ssreflect Users Discussion List

List archive

Re: Installation error


Chronological Thread 
  • From: Evgeny Makarov <>
  • To:
  • Subject: Re: Installation error
  • Date: Mon, 13 Jun 2011 19:51:40 +0200
  • Domainkey-signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :content-type:content-transfer-encoding; b=k97RKeBlZIJ28eBe07DXjxUubO7tztv9JS4VqaHrjRNqGs8rJZipp4j7Ywt1tM6YsX 7/kh2sF0Y4M/hc0xASlvDFr1c2aUoXY9C2eTkms1ym9lrgxt/FVPljU9V2qyT787XWD6 Y1+BwtuYGm1lgJDLxAy5/qmThd0g33jMcWNDg=
> 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

Archive powered by MHonArc 2.6.18.

Top of Page