From: Morgan Deters <mdeters@gmail.com>
Date: Sat, 17 Nov 2012 12:55:23 +0000 (+0000)
Subject: fix for language bindings (fixes debian build fail last night)
X-Git-Tag: cvc5-1.0.0~7580
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=943870920431bf1d6f6f1eb163eb82fb26bdad58;p=cvc5.git

fix for language bindings (fixes debian build fail last night)
---

diff --git a/src/util/statistics.i b/src/util/statistics.i
index 1f5cab2e1..7356b0ed5 100644
--- a/src/util/statistics.i
+++ b/src/util/statistics.i
@@ -1,12 +1,19 @@
 %{
 #include "util/statistics.h"
+
+#ifdef SWIGJAVA
+
 #include "bindings/java_iterator_adapter.h"
 #include "bindings/java_output_stream_adapter.h"
+
+#endif /* SWIGJAVA */
 %}
 
 %rename(assign) CVC4::Statistics::operator=(const StatisticsBase&);
 %rename(assign) CVC4::Statistics::operator=(const Statistics& stats);
 
+#ifdef SWIGJAVA
+
 %ignore CVC4::StatisticsBase::begin();
 %ignore CVC4::StatisticsBase::end();
 %ignore CVC4::StatisticsBase::begin() const;
@@ -47,8 +54,15 @@
       jenv->SetObjectArrayElement($result, 1, jenv->NewObject(jenv->FindClass("edu/nyu/acsys/CVC4/SExpr"), methodid, reinterpret_cast<long>(new CVC4::SExpr($1.second)), true));
     };
 
+#endif /* SWIGJAVA */
+
 %include "util/statistics.h"
+
+#ifdef SWIGJAVA
+
 %include "bindings/java_iterator_adapter.h"
 %include "bindings/java_output_stream_adapter.h"
 
 %template(JavaIteratorAdapter_StatisticsBase) CVC4::JavaIteratorAdapter<CVC4::StatisticsBase>;
+
+#endif /* SWIGJAVA */