From: Thomas Hunger <tehunger@gmail.com>
Date: Sun, 2 Mar 2014 16:01:37 +0000 (+0000)
Subject: Guard java-specific swig code with SWIGJAVA.
X-Git-Tag: cvc5-1.0.0~7048
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=7062bbe7ed2ad5d0b0a94badd624808d7dc91bb2;p=cvc5.git

Guard java-specific swig code with SWIGJAVA.

Without this building just the python bindings will fail.

Signed-off-by: Morgan Deters <mdeters@cs.nyu.edu>
---

diff --git a/src/smt/smt_engine.i b/src/smt/smt_engine.i
index 00c332bd1..7bece21b3 100644
--- a/src/smt/smt_engine.i
+++ b/src/smt/smt_engine.i
@@ -2,6 +2,7 @@
 #include "smt/smt_engine.h"
 %}
 
+#ifdef SWIGJAVA
 %typemap(javacode) CVC4::SmtEngine %{
   // a ref is kept here to keep Java GC from collecting the EM
   // before the SmtEngine
@@ -41,6 +42,7 @@ SWIGEXPORT void JNICALL Java_edu_nyu_acsys_CVC4_SmtEngine_dlRef(JNIEnv* jenv, jc
       swigCPtr = 0;
     }
   }
+#endif // SWIGJAVA
 
 %ignore CVC4::SmtEngine::setLogic(const char*);
 %ignore CVC4::stats::getStatisticsRegistry(SmtEngine*);