Global configuration
make -C utils
make[1]: Entering directory '/mnt/data1/2023/07/06/metacoq/utils'
make -f Makefile.coq
make[2]: Entering directory '/mnt/data1/2023/07/06/metacoq/utils'
COQDEP VFILES
COQC theories/canonicaltries/String2pos.v