projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ed87e0c) | patch
Guard java-specific swig code with SWIGJAVA.
authorThomas Hunger <tehunger@gmail.com>
Sun, 2 Mar 2014 16:01:37 +0000 (16:01 +0000)
committerMorgan Deters <mdeters@cs.nyu.edu>
Tue, 4 Mar 2014 13:05:01 +0000 (08:05 -0500)
commit7062bbe7ed2ad5d0b0a94badd624808d7dc91bb2
tree2136bb365cc23791fe31fcbf63f62457c5bebfd7tree
parented87e0c1ccb0cb93cdedf5229c6a2b47af77743ccommit | 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>
src/smt/smt_engine.i diff | blob | history