diff options
| author | Hoang M. Le <hle@informatik.uni-bremen.de> | 2016-05-25 08:58:15 +0200 |
|---|---|---|
| committer | Hoang M. Le <hle@informatik.uni-bremen.de> | 2016-06-10 10:24:00 +0200 |
| commit | 8a43b34c48d5d0507be51e3a7a1eac87fb60e0dc (patch) | |
| tree | f914dd87f2138e3e50d00df0f50a903a9224e95c | |
| parent | b097c8d29ccefee7aa799b0ca870cc4e8ec39812 (diff) | |
| download | klee-8a43b34c48d5d0507be51e3a7a1eac87fb60e0dc.tar.gz | |
metaSMT does not require RTTI
| -rw-r--r-- | autoconf/configure.ac | 1 | ||||
| -rwxr-xr-x | configure | 2 |
2 files changed, 0 insertions, 3 deletions
diff --git a/autoconf/configure.ac b/autoconf/configure.ac index 2be02321..63b1b6ca 100644 --- a/autoconf/configure.ac +++ b/autoconf/configure.ac @@ -769,7 +769,6 @@ else AC_DEFINE(ENABLE_METASMT, 1, [Enable metaSMT API]) AC_SUBST(METASMT_ROOT,$metasmt_root) - AC_SUBST(REQUIRES_RTTI,[[1]]) ENABLE_METASMT=1 AC_MSG_NOTICE([Using MetaSMT solver backend]) fi diff --git a/configure b/configure index 33893680..c9cea90e 100755 --- a/configure +++ b/configure @@ -5384,8 +5384,6 @@ $as_echo "#define ENABLE_METASMT 1" >>confdefs.h METASMT_ROOT=$metasmt_root - REQUIRES_RTTI=1 - ENABLE_METASMT=1 { $as_echo "$as_me:${as_lineno-$LINENO}: Using MetaSMT solver backend" >&5 $as_echo "$as_me: Using MetaSMT solver backend" >&6;} |