From 7062bbe7ed2ad5d0b0a94badd624808d7dc91bb2 Mon Sep 17 00:00:00 2001
From: Thomas Hunger <tehunger@gmail.com>
Date: Sun, 2 Mar 2014 16:01:37 +0000
Subject: [PATCH] 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>
---
 src/smt/smt_engine.i | 2 ++
 1 file changed, 2 insertions(+)

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*);
-- 
2.30.2