projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8fa9136) | patch
cmake: Fix include of CVC4JavaTargets.cmake. (#3373)
authorMathias Preiner <mathias.preiner@gmail.com>
Wed, 9 Oct 2019 00:55:05 +0000 (17:55 -0700)
committerGitHub <noreply@github.com>
Wed, 9 Oct 2019 00:55:05 +0000 (17:55 -0700)
commit1d4c28c9211db363b716b33954644d200b91dfd8
tree21e83865c389eeb283595382b1507f57a8a7f24etree
parent8fa91361af7e891b82f9156e76b7d7e6bb70aa65commit | diff
cmake: Fix include of CVC4JavaTargets.cmake. (#3373)

Only include Java targets if Java bindings are enabled.
cmake/CVC4Config.cmake.in diff | blob | history