From 64868646eed7384c38db41aff5002215b92c1601 Mon Sep 17 00:00:00 2001
From: Hristina Palikareva <h.palikareva@imperial.ac.uk>
Date: Fri, 4 Oct 2013 18:32:55 +0100
Subject: MetaSMT builder, solver and command-line options.

---
 autoconf/configure.ac | 1 +
 1 file changed, 1 insertion(+)

(limited to 'autoconf')

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 **************************************************************************
-- 
cgit 1.4.1