From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Thu, 26 Jun 2014 04:27:42 +0000 (-0400)
Subject: Minor language bindings fixes.
X-Git-Tag: cvc5-1.0.0~6723
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=7b3aaa55f2e544b752640f99b3516292bda181b7;p=cvc5.git

Minor language bindings fixes.
---

diff --git a/configure.ac b/configure.ac
index 6970a7ae2..ab1abdf53 100644
--- 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 a84d69cf7..c92ce3054 100644
--- 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 >;