/config/
../
antlr.m4
build-type
cvc4.m4
mkbuilddir