cmake/cvc5Config.cmake.in

   1 ###############################################################################
   2 # Top contributors (to current version):
   3 #   Mudathir Mohamed, Mathias Preiner, Andres Noetzli
   4 #
   5 # This file is part of the cvc5 project.
   6 #
   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 # #############################################################################
  12 ##
  13
  14 @PACKAGE_INIT@
  15
  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@)
  19
  20 if(NOT TARGET cvc5::cvc5-shared)
  21   include(${CMAKE_CURRENT_LIST_DIR}/cvc5Targets.cmake)
  22 endif()
  23
  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)
  28 # endif()
  29