Minor language bindings fixes.

diff --git a/configure.ac b/configure.ac
index 6970a7ae2b68fe0a0051b2a60af4ebd1bf4a908e..ab1abdf53425a61721eea6b6380980765ba8db36 100644 (file)
--- a/configure.ac
+++ b/configure.ac
@@ -1465,9 +1465,11 @@ EOF
 
 if test -n "$CVC4_UNSUPPORTED_LANGUAGE_BINDINGS"; then
   AC_MSG_WARN([])
-  AC_MSG_WARN([You are electing to build unsupported language binding(s): $CVC4_UNSUPPORTED_LANGUAGE_BINDINGS])
-  AC_MSG_WARN([Please be aware that these bindings may not compile, or work, and the interface to CVC4 via])
-  AC_MSG_WARN([these bindings may change drastically in upcoming releases of CVC4.])
+  AC_MSG_WARN([You are electing to build unsupported language binding(s):])
+  AC_MSG_WARN([    $CVC4_UNSUPPORTED_LANGUAGE_BINDINGS])
+  AC_MSG_WARN([Please be aware that these bindings may not compile, or])
+  AC_MSG_WARN([work, and the interface to CVC4 via these bindings may])
+  AC_MSG_WARN([change drastically in upcoming releases of CVC4.])
   AC_MSG_WARN([])
 fi
 

diff --git a/src/cvc4.i b/src/cvc4.i
index a84d69cf772091f1b2fd51bc88347ca0b3862172..c92ce305409b8f82ddf22032fac587d396169b6f 100644 (file)
--- a/src/cvc4.i
+++ b/src/cvc4.i
@@ -61,6 +61,17 @@ std::set<JavaInputStreamAdapter*> CVC4::JavaInputStreamAdapter::s_adapters;
 #endif
 %}
 
+#ifdef SWIGPYTHON
+%pythonappend CVC4::SmtEngine::SmtEngine %{
+  print 'hello smtengine'
+  self.thisown = 0
+%}
+%pythonappend CVC4::ExprManager::ExprManager %{
+  print 'hello exprmanager'
+  self.thisown = 0
+%}
+#endif /* SWIGPYTHON */
+
 %template(vectorCommandPtr) std::vector< CVC4::Command* >;
 %template(vectorType) std::vector< CVC4::Type >;
 %template(vectorExpr) std::vector< CVC4::Expr >;