11.4 Environment variables
There are three environment variables used by the Coq system.
$COQBIN
for the directory where the binaries are,
$COQLIB
for the directory whrer the standard library is, and
$COQTOP
for the directory of the sources. The latter is useful
only for developers that are writing their own tactics and are using
coq_makefile (see 12.3). If $COQBIN
or
$COQLIB
are not defined, Coq will use the default values
(defined at installation time). So these variables are useful only if
you move the Coq binaries and library after installation.