diff options
author | Morgan Deters <mdeters@gmail.com> | 2009-12-11 00:15:37 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2009-12-11 00:15:37 +0000 |
commit | 82faddb718aaae5f52001e09d0754a3d254e2285 (patch) | |
tree | ed478463e82897659918ca30d4d0036cff8cca67 /aclocal.m4 | |
parent | f79afa96e7e7176b974252dd05a9f7bdf70194e8 (diff) |
build fixes, configuration simplifications
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]) |