Ssreflect Users Discussion List

[Evgeny Makarov <>]

Hi,

I get the following error when trying to install Ssreflect 1.3pl1 with
Coq trunk 13761 (I replaced a long line with ...):

ocamldep -slash -I src -pp ""camlp5"o -I /usr/local/lib/ocaml -I . ...
File "src/ssreflect.ml", line 1626, characters 5-14:
Parse error: '|' or [argrule] expected after [argextend_header] (in
  [str_item])
Preprocessing error on file src/ssreflect.ml

Similarly, when trying to install Ssreflect 1.2, I get this error:

File "src/ssreflect.ml", line 2285, characters 5-14:
Parse error: '|' or [argrule] expected after [argextend_header] (in
  [str_item])
Preprocessing error on file src/ssreflect.ml

I get the following information about my Coq installation from ./configure:

Coq top directory                 : /home/username/coq/trunk
  Architecture                      : i686
  Coq VM bytecode link flags        : -dllib -lcoqrun -dllpath
'/home/username/coq/trunk'/kernel/byterun
  Coq tools bytecode link flags     :
  OS dependent libraries            : -cclib -lunix
  Objective-Caml/Camlp4 version     : 3.10.1
  Objective-Caml/Camlp4 binaries in : /usr/local/bin
  Objective-Caml library in         : /usr/local/lib/ocaml
  Camlp4 library in                 : +camlp5
  Native dynamic link support       : false
  Lablgtk2 library in               : +lablgtk2
  Documentation                     : All
  CoqIde                            : opt
  Web browser                       : firefox -remote
"OpenURL(%s,new-tab)" || firefox %s &
  Coq web site                      : http://coq.inria.fr/


Thanks,
Evgeny