projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6c6957c) | patch
Fix compilation issue for Java bindings + CLN (#3045)
authorAndres Noetzli <andres.noetzli@gmail.com>
Wed, 12 Jun 2019 00:21:54 +0000 (17:21 -0700)
committerGitHub <noreply@github.com>
Wed, 12 Jun 2019 00:21:54 +0000 (17:21 -0700)
commit707734fb384203d6b1c87fcec4cc14ce6fc9ed97
tree60dd5c2aceae4d01b9408f6aac6e9bbba69caf5atree
parent6c6957ccee127548824062d282cc81270e5deb17commit | 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.
src/bindings/java/CMakeLists.txt diff | blob | history