diff options
Diffstat (limited to 'aclocal.m4')
| -rw-r--r-- | aclocal.m4 | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/aclocal.m4 b/aclocal.m4 index 3e9cd67d1..2d13c6081 100644 --- a/aclocal.m4 +++ b/aclocal.m4 @@ -950,6 +950,7 @@ AC_SUBST([am__untar]) ]) # _AM_PROG_TAR m4_include([config/antlr.m4]) +m4_include([config/cvc4.m4]) m4_include([config/libtool.m4]) m4_include([config/ltoptions.m4]) m4_include([config/ltsugar.m4]) |