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 | |
| 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')
| -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}" ) |