diff options
Diffstat (limited to 'examples/CMakeLists.txt')
-rw-r--r-- | examples/CMakeLists.txt | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/examples/CMakeLists.txt b/examples/CMakeLists.txt index 893ea5c95..6168a8e22 100644 --- a/examples/CMakeLists.txt +++ b/examples/CMakeLists.txt @@ -86,3 +86,8 @@ if(TARGET CVC4::cvc4jar) add_subdirectory(api/java) endif() + +if(CVC4_BINDINGS_PYTHON) + # If legacy Python API has been built + add_subdirectory(api/python) +endif() |