The Coq mailing list

[westand <westand AT seas.upenn.edu>]

Hello all, hate to bother everyone again, but I've run into more issues.
By following your suggestions, along with a little more hacking, I finally
got Coq to compile...

So now I am workign on building a new top level with ssreflect. I have
followed the readme's included with the file as well as the suggestions of
the Coq Wiki. However I go about it, I end up with an error similar to that
below.
The .ml4 file just doesn't compile. Has anyone else experienced similar
problems? Thanks, 

[westa@localhost
 coq-8.1pl2]$ make states
OCAMLOPT4 contrib/custom/ssreflect.ml4
File "contrib/custom/ssreflect.ml4", line 26, characters 18-39:
Unbound value G_ltacnew.tactic_expr
make: *** [contrib/custom/ssreflect.cmx] Error 2

-- 
View this message in context: 
http://www.nabble.com/SSReflect-not-cooperating-tf4831441.html#a13822555
Sent from the Coq mailing list archive at Nabble.com.