diff options
author | Morgan Deters <mdeters@cs.nyu.edu> | 2014-06-21 17:15:24 -0400 |
---|---|---|
committer | Morgan Deters <mdeters@cs.nyu.edu> | 2014-06-21 19:13:05 -0400 |
commit | 32c2090301d549efcb8a6ad7034b0553ed99b433 (patch) | |
tree | 2b040faa4a6b270701de3edb73bc6cee4a4e83fb /src/main | |
parent | 1a41e26473ff12108eb6700da3d386ffa9e731bd (diff) |
Add some missing functions in configuration and compat library.
Diffstat (limited to 'src/main')
-rw-r--r-- | src/main/options_handlers.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/main/options_handlers.h b/src/main/options_handlers.h index ee16af2f2..02ebf2252 100644 --- a/src/main/options_handlers.h +++ b/src/main/options_handlers.h @@ -68,6 +68,7 @@ inline void showConfiguration(std::string option, SmtEngine* smt) { printf("gmp : %s\n", Configuration::isBuiltWithGmp() ? "yes" : "no"); printf("glpk : %s\n", Configuration::isBuiltWithGlpk() ? "yes" : "no"); printf("abc : %s\n", Configuration::isBuiltWithAbc() ? "yes" : "no"); + printf("readline : %s\n", Configuration::isBuiltWithReadline() ? "yes" : "no"); printf("tls : %s\n", Configuration::isBuiltWithTlsSupport() ? "yes" : "no"); exit(0); } |