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
configure: Will look for Coq executables only in /mnt/c/Users/vljno/Source/Repos/HoTT/coq-HoTT/bin
checking for coqtop... /mnt/c/Users/vljno/Source/Repos/HoTT/coq-HoTT/bin/coqtop
checking coqtop version... 8.11.0
checking Coq library path... /mnt/c/Users/vljno/Source/Repos/HoTT/coq-HoTT/
configure: COQBIN is /mnt/c/Users/vljno/Source/Repos/HoTT/coq-HoTT/bin
checking for coqc... /mnt/c/Users/vljno/Source/Repos/HoTT/coq-HoTT/bin/coqc
checking coqc version... 8.11.0
checking for coqide... no
configure: Could not find coqide, will not make hoqide
checking for coqidetop.opt... /mnt/c/Users/vljno/Source/Repos/HoTT/coq-HoTT/bin/coqidetop.opt
configure: Trusting that coqidetop version is 8.11.0
checking for coqchk... /mnt/c/Users/vljno/Source/Repos/HoTT/coq-HoTT/bin/coqchk
checking coqchk version... 8.11.0
checking for coqdep... /mnt/c/Users/vljno/Source/Repos/HoTT/coq-HoTT/bin/coqdep
checking for coqdoc... /mnt/c/Users/vljno/Source/Repos/HoTT/coq-HoTT/bin/coqdoc
checking for coq_makefile... /mnt/c/Users/vljno/Source/Repos/HoTT/coq-HoTT/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