docs/api/python/CMakeLists.txt

###############################################################################
# Top contributors (to current version):
#   Gereon Kremer
#
# This file is part of the cvc5 project.
#
# Copyright (c) 2009-2025 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()
Improve generation of python API documentation (#6482) This PR makes generating the python part of our API documentation more reliable. If python bindings are enabled, it makes the docs target depend on pycvc5 and renders a warning into the documentation if python bindings are disabled. To make the dependency on pycvc5 work properly, it changes the python bindings build so that the library is directly put in the right place and avoid the manual rename, so that the pycvc5 target actually points to the correct file. Unfortunately, this means we need to build libcvc5 when building docs with python bindings enabled. 2021-05-04 18:33:59 +02:00			`###############################################################################`
			`# Top contributors (to current version):`
			`# Gereon Kremer`
			`#`
			`# This file is part of the cvc5 project.`
			`#`
Update copyright headers. (#11561) Co-authored-by: Daniel Larraz <daniel-larraz@users.noreply.github.com> 2025-01-23 09:54:20 -08:00			`# Copyright (c) 2009-2025 by the authors listed in the file AUTHORS`
Improve generation of python API documentation (#6482) This PR makes generating the python part of our API documentation more reliable. If python bindings are enabled, it makes the docs target depend on pycvc5 and renders a warning into the documentation if python bindings are disabled. To make the dependency on pycvc5 work properly, it changes the python bindings build so that the library is directly put in the right place and avoid the manual rename, so that the pycvc5 target actually points to the correct file. Unfortunately, this means we need to build libcvc5 when building docs with python bindings enabled. 2021-05-04 18:33:59 +02:00			`# 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)`
Integrate pythonic api (#8131) 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. 2022-03-03 03:16:09 +01:00			`add_dependencies(docs-python cvc5_python_api)`
Improve generation of python API documentation (#6482) This PR makes generating the python part of our API documentation more reliable. If python bindings are enabled, it makes the docs target depend on pycvc5 and renders a warning into the documentation if python bindings are disabled. To make the dependency on pycvc5 work properly, it changes the python bindings build so that the library is directly put in the right place and avoid the manual rename, so that the pycvc5 target actually points to the correct file. Unfortunately, this means we need to build libcvc5 when building docs with python bindings enabled. 2021-05-04 18:33:59 +02:00			`endif()`