Ssreflect Users Discussion List

[(François Garillot)]

Ralph Matthes wrote today: 

> When trying to install ssreflect-1.2 on top of Coq 8.2pl1 (created from
> the sources), I run into the following problem of make after 30 lines of
> unproblematic output:
>
> coqmktop -opt -o bin/ssrcoq src/ssreflect.cmx
> Files /tmp/coqmaineb0833.cmx and /usr/local/lib/coq/kernel/kernel.cmxa
> make inconsistent assumptions over interface Term
> make: *** [bin/ssrcoq] Erreur 2

What happens if you replace that line with:

  bin/coqmktop -opt -o bin/ssrcoq src/ssreflect.cmx

 ?

I suspect you are calling another installed version of coq in this line.
  
-- 
François Garillot