projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8980a20) | patch
[Java API] Do not link JNI libraries (#8870)
authorAndres Noetzli <andres.noetzli@gmail.com>
Thu, 9 Jun 2022 02:30:40 +0000 (19:30 -0700)
committerGitHub <noreply@github.com>
Thu, 9 Jun 2022 02:30:40 +0000 (19:30 -0700)
commit2773c6380c619c3d000e9c89aa88cf49801b5974
tree571d5061fb4df538b2404608aeb246d174e22cactree
parent8980a204958bc550532a653b913591c33ba6025ccommit | diff
[Java API] Do not link JNI libraries (#8870)

Fixes #8869. We are not using `libjawt.so` or `libjvm.so` (we are not
using the Java Invocation API), so we don't need to link `libcvc5jni`
against `JNI_LIBRARIES`. This change allows us to use cvc5 from Java
without linking against the JNI libraries (see changes in the `examples`
folder).
examples/CMakeLists.txt diff | blob | history
examples/api/java/CMakeLists.txt diff | blob | history
src/api/java/CMakeLists.txt diff | blob | history