mirror of
https://github.com/AdaCore/cvc5.git
synced 2026-02-12 12:32:16 -08:00
ea5e75d04a
We decided we want to ship the pythonic API together with our base python API. This PR adds a new target cvc5_python_api that first builds the base python API and then copies the pythonic API over. Furthermore we now use the cvc5.pythonic module to generate the corresponding documentation.
21 lines
696 B
CMake
21 lines
696 B
CMake
###############################################################################
|
|
# Top contributors (to current version):
|
|
# Gereon Kremer
|
|
#
|
|
# 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.
|
|
# #############################################################################
|
|
#
|
|
# Build system configuration for python API documentation.
|
|
##
|
|
|
|
add_custom_target(docs-python)
|
|
|
|
if (BUILD_BINDINGS_PYTHON)
|
|
add_dependencies(docs-python cvc5_python_api)
|
|
endif()
|