Ssreflect Users Discussion List

[t x <>]

Hi,

  Is it possible to build ssreflect-1.4 (which appears to be latest) with Coq8.4pl2 + Mtac-1.1 ?

My build process is:

## for coq8.4pl2

  patch -p1 < ../mtac-1.1/mtac-1.1.patch ## to get mtac

  ./configure -usecamlp5 ## can't build ssreflect without camlp5

  ## this builds fine

## for ssreflect-1.4

  make

  ## now, it appears to inifnite loop on:

  coqc  -q  -I src -R theories Ssreflect   theories/finfun

  (as in +10 minutes on a macbook pro)

Any idea what I might be doing wrong?

Thanks!