diff options
Diffstat (limited to 'cmake/cvc5Config.cmake.in')
| -rw-r--r-- | cmake/cvc5Config.cmake.in | 29 |
1 files changed, 29 insertions, 0 deletions
diff --git a/cmake/cvc5Config.cmake.in b/cmake/cvc5Config.cmake.in new file mode 100644 index 000000000..6b238fb38 --- /dev/null +++ b/cmake/cvc5Config.cmake.in @@ -0,0 +1,29 @@ +############################################################################### +# Top contributors (to current version): +# Mudathir Mohamed, Mathias Preiner, Andres Noetzli +# +# This file is part of the cvc5 project. +# +# Copyright (c) 2009-2021 by the authors listed in the file AUTHORS +# in the top-level source directory and their institutional affiliations. +# All rights reserved. See the file COPYING in the top-level source +# directory for licensing information. +# ############################################################################# +## + +@PACKAGE_INIT@ + +set(CVC5_BINDINGS_JAVA @BUILD_BINDINGS_JAVA@) +set(CVC5_BINDINGS_PYTHON @BUILD_BINDINGS_PYTHON@) +set(CVC5_BINDINGS_PYTHON_VERSION @BUILD_BINDINGS_PYTHON_VERSION@) + +if(NOT TARGET cvc5::cvc5) + include(${CMAKE_CURRENT_LIST_DIR}/cvc5Targets.cmake) +endif() + +# TODO(project wishue #83): enable these lines +# if(CVC5_BINDINGS_JAVA AND NOT TARGET cvc5::cvc5jar) +# set_and_check(CVC5_JNI_PATH "@PACKAGE_LIBRARY_INSTALL_DIR@") +# include(${CMAKE_CURRENT_LIST_DIR}/cvc5JavaTargets.cmake) +# endif() + |