diff options
| author | Thomas Hunger <tehunger@gmail.com> | 2014-03-02 16:01:37 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@cs.nyu.edu> | 2014-03-04 08:05:01 -0500 |
| commit | 7062bbe7ed2ad5d0b0a94badd624808d7dc91bb2 (patch) | |
| tree | 2136bb365cc23791fe31fcbf63f62457c5bebfd7 /src/smt/smt_engine.i | |
| parent | ed87e0c1ccb0cb93cdedf5229c6a2b47af77743c (diff) | |
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>
Diffstat (limited to 'src/smt/smt_engine.i')
| -rw-r--r-- | src/smt/smt_engine.i | 2 |
1 files changed, 2 insertions, 0 deletions
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*); |