/config/
../
antlr.m4
build-type
config.guess
config.sub
cvc4.m4
depcomp
install-sh
libtool.m4
ltmain.sh
ltoptions.m4
ltsugar.m4
ltversion.m4
lt~obsolete.m4
missing
mkbuilddir