diff options
Diffstat (limited to 'autoconf')
| -rw-r--r-- | autoconf/configure.ac | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/autoconf/configure.ac b/autoconf/configure.ac index 96d8bcfe..b41b6848 100644 --- a/autoconf/configure.ac +++ b/autoconf/configure.ac @@ -382,6 +382,7 @@ else AC_DEFINE(SUPPORT_METASMT, 1, [Supporting metaSMT API]) AC_SUBST(ENABLE_METASMT,[[1]]) AC_SUBST(METASMT_ROOT,$metasmt_root) + AC_SUBST(REQUIRES_RTTI,[[1]]) fi dnl ************************************************************************** |