diff options
author | Gereon Kremer <gereon.kremer@cs.rwth-aachen.de> | 2021-04-01 20:20:53 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-04-01 18:20:53 +0000 |
commit | 3f4b33522bd04b509b73267550d24c44e61998ce (patch) | |
tree | 8065d0d2c20ec8d4005880d0565589efd3dc210b /src/api/python | |
parent | 05a53a2ac405bcd18a84024247145f161809c3b0 (diff) |
Refactor CLN dependency & Cleanup (#6251)
This PR migrates CLN to a new Find script and adds the possibility to install CLN if not found in the system.
Also, it does a bit of cleanup.
Diffstat (limited to 'src/api/python')
-rw-r--r-- | src/api/python/CMakeLists.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/api/python/CMakeLists.txt b/src/api/python/CMakeLists.txt index 62482a0ba..ec156e50e 100644 --- a/src/api/python/CMakeLists.txt +++ b/src/api/python/CMakeLists.txt @@ -36,7 +36,7 @@ add_custom_target( --kinds-header "${PROJECT_SOURCE_DIR}/src/api/cvc4cppkind.h" --kinds-file-prefix "${CMAKE_CURRENT_BINARY_DIR}/cvc4kinds" DEPENDS - genkinds.py + "${CMAKE_CURRENT_BINARY_DIR}/genkinds.py" COMMENT "Generate cvc4kinds.{pxd,pyx}" ) |