1 ###############################################################################
2 # Top contributors (to current version):
3 # Mudathir Mohamed, Mathias Preiner, Andres Noetzli
5 # This file is part of the cvc5 project.
7 # Copyright (c) 2009-2021 by the authors listed in the file AUTHORS
8 # in the top-level source directory and their institutional affiliations.
9 # All rights reserved. See the file COPYING in the top-level source
10 # directory for licensing information.
11 # #############################################################################
16 set(CVC5_BINDINGS_JAVA @BUILD_BINDINGS_JAVA@)
17 set(CVC5_BINDINGS_PYTHON @BUILD_BINDINGS_PYTHON@)
18 set(CVC5_BINDINGS_PYTHON_VERSION @BUILD_BINDINGS_PYTHON_VERSION@)
20 if(NOT TARGET cvc5::cvc5-shared)
21 include(${CMAKE_CURRENT_LIST_DIR}/cvc5Targets.cmake)
24 # TODO(project wishue #83): enable these lines
25 # if(CVC5_BINDINGS_JAVA AND NOT TARGET cvc5::cvc5jar)
26 # set_and_check(CVC5_JNI_PATH "@PACKAGE_LIBRARY_INSTALL_DIR@")
27 # include(${CMAKE_CURRENT_LIST_DIR}/cvc5JavaTargets.cmake)