diff options
author | Andres Noetzli <andres.noetzli@gmail.com> | 2019-06-11 17:21:54 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-06-11 17:21:54 -0700 |
commit | 707734fb384203d6b1c87fcec4cc14ce6fc9ed97 (patch) | |
tree | 60dd5c2aceae4d01b9408f6aac6e9bbba69caf5a /src/smt/dump.cpp | |
parent | 6c6957ccee127548824062d282cc81270e5deb17 (diff) |
Fix compilation issue for Java bindings + CLN (#3045)
Fixes #3044. When using CLN instead of GMP, SWIG produces different Java
files for the CLN classes. The bindings expected the GMP files even when
building with CLN, so compilation failed. This commit fixes the issue by
changing the list of files depending on whether we build with CLN or
GMP.
Diffstat (limited to 'src/smt/dump.cpp')
0 files changed, 0 insertions, 0 deletions