The Coq mailing list

[Andrew Harris <andrew.unit AT gmail.com>]

Hello,  I'm trying to install coq8.5beta from source.  I can do the ./configure and make world steps OK.  But when I get to the make install step, I'm getting an error during the install:

install -d "/usr/local/lib/coq"/plugins/micromega
install plugins/micromega/csdpcert "/usr/local/lib/coq"/plugins/micromega
rm -f "/usr/local/lib/coq"/revision
install -m 644  revision "/usr/local/lib/coq"
install: cannot stat `revision': No such file or directory
make[1]: [install-library] Error 1 (ignored)
install -d "/usr/local/share/man"/man1
install: cannot create directory `/usr/local/share/man/man1': File exists
make[1]: *** [install-coq-manpages] Error 1
make[1]: Leaving directory `/home/andrewha/Downloads/coq-8.5beta1'
make: *** [submake] Error 2

Any help would be appreciated.

-andrew