diff options
| author | Andres Noetzli <andres.noetzli@gmail.com> | 2020-06-08 21:20:25 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-06-08 21:20:25 -0700 |
| commit | 84c72e3c371dc916604e66f4af4f138833f7c11b (patch) | |
| tree | cd2a12dbde65c51822c534bdda5c5b1316ae8dde /cmake/CVC4Config.cmake.in | |
| parent | f515641c3b078185743aed831e2fe6c2759341fb (diff) | |
Fix Java target and Relations example (#4583)
Currently, our CVC4Config file is never including the CVC4 Java targets
because of a typo in `cmake/CVC4Config.cmake.in`. For this reason, our
build system for the examples would never actually build the examples.
Fixing this issue brought up another issue in our Relations Java example
that was using an outdated `System.loadLibrary()` call. This commit
fixes the typo and the example.
Note: Most changes in `Relations.java` were caused by ClangFormat.
Diffstat (limited to 'cmake/CVC4Config.cmake.in')
| -rw-r--r-- | cmake/CVC4Config.cmake.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/cmake/CVC4Config.cmake.in b/cmake/CVC4Config.cmake.in index f60e99736..0047cc0ec 100644 --- a/cmake/CVC4Config.cmake.in +++ b/cmake/CVC4Config.cmake.in @@ -1,6 +1,6 @@ @PACKAGE_INIT@ -set(CVC4_BINDINGS_JAVA @BUILD_BINDINGS_JAVA@) +set(CVC4_BINDINGS_JAVA @BUILD_SWIG_BINDINGS_JAVA@) if(NOT TARGET CVC4::cvc4) include(${CMAKE_CURRENT_LIST_DIR}/CVC4Targets.cmake) |