gistfile1.txt

checking whether to enable maintainer-specific portions of Makefiles... yes
checking for a BSD-compatible install... /usr/bin/install -c
checking whether build environment is sane... yes
checking for a thread-safe mkdir -p... /bin/mkdir -p
checking for gawk... gawk
checking whether make sets $(MAKE)... yes
checking whether make supports nested variables... yes
checking whether ln -s works... yes
checking whether make sets $(MAKE)... (cached) yes
checking for coqtop... /home/vlj/.opam/default/bin/coqtop
checking coqtop version... 8.11.1
checking Coq library path... /home/vlj/.opam/default/lib/coq
configure: COQBIN is /home/vlj/.opam/default/bin
checking for coqc... /home/vlj/.opam/default/bin/coqc
checking coqc version... 8.11.1
checking for coqide... /home/vlj/.opam/default/bin/coqide
configure: Trusting that coqide version is 8.11.1
checking for coqidetop.opt... /home/vlj/.opam/default/bin/coqidetop.opt
configure: Trusting that coqidetop version is 8.11.1
checking for coqchk... /home/vlj/.opam/default/bin/coqchk
checking coqchk version... 8.11.1
checking for coqdep... /home/vlj/.opam/default/bin/coqdep
checking for coqdoc... /home/vlj/.opam/default/bin/coqdoc
checking for coq_makefile... /home/vlj/.opam/default/bin/coq_makefile
checking for etags... etags
checking for time... /usr/bin/time
configure: Creating symbolic links into Coq standard library
checking whether your coqtop supports directory symlinks to the stdlib... yes
checking that generated files are newer than configure... done
configure: creating ./config.status
config.status: creating Makefile
config.status: creating hoq-config