diff options
| author | Gereon Kremer <gkremer@stanford.edu> | 2021-04-27 15:29:19 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-04-27 15:29:19 +0200 |
| commit | 642c8b738e6681fe511dfb3610d896d3b67bbd7d (patch) | |
| tree | 26660ce4359f6104bd392cfac1ca46ae75d02ef9 /cmake | |
| parent | 20820daece2eaf340a944ff386ffbafed1b79b75 (diff) | |
Initial setup for docs of python API (#6445)
This PR adds the basic setup for including the python API in our sphinx documentation and shows how it works using the Datatype class as an example. In detail
- it enables sphinx.ext.autodoc and makes sure the generated pycvc5 is in the search path
- adds a index page for the python API
- adds a page for the Datatype class
- adds docstrings for the Datatype class
- does some finetuning (remove source locations, but adds signature information)
Diffstat (limited to 'cmake')
| -rw-r--r-- | cmake/UseCython.cmake | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/cmake/UseCython.cmake b/cmake/UseCython.cmake index 7ff4a276b..c79e43f01 100644 --- a/cmake/UseCython.cmake +++ b/cmake/UseCython.cmake @@ -350,7 +350,6 @@ function(add_cython_target _name) if(CMAKE_BUILD_TYPE STREQUAL "Debug" OR CMAKE_BUILD_TYPE STREQUAL "RelWithDebInfo") set(cython_debug_arg "--gdb") - set(embed_pos_arg "--embed-positions") set(line_directives_arg "--line-directives") endif() |