/src/include/
../
cvc4_config.h