Ssreflect Users Discussion List

[(François Garillot)]

Ralph Matthes wrote today: 

> But there is no bin/coqmktop. "which coqmktop" tells
> me /usr/local/bin/coqmktop, and this file comes from the minute in which
> I installed Coq 8.2pl1.

Oh.

Yes, of course. I dumbly assumed you did a local Coq installation.

What do your COQBIN, COQTOP, and COQLIB variables looked like at the
state where you're calling make ? Do they reflect the indications given
in the INSTALL file included in the tarball ?

And if that doesn't solve the issue, I wouldn't mind seeing what the
config/Makefile file of your coq compilation directory of Coq (it's the
file that the configure script writes to).

Cheers,
-- 
François Garillot