diff options
author | Mathias Preiner <mathias.preiner@gmail.com> | 2018-08-24 12:52:49 -0700 |
---|---|---|
committer | Mathias Preiner <mathias.preiner@gmail.com> | 2018-09-22 16:30:59 -0700 |
commit | f0260ef80ee8020e6f5ee7cace54be0a568236f0 (patch) | |
tree | 7b41bbf7a86c4450ad164a6b6e6a3e6bb205ec0e /src/bindings/CMakeLists.txt | |
parent | 38c24575b3415f375b14ebfb7685a1621c7587e2 (diff) |
cmake: Add SWIG support + Python and Java bindings.
Diffstat (limited to 'src/bindings/CMakeLists.txt')
-rw-r--r-- | src/bindings/CMakeLists.txt | 19 |
1 files changed, 18 insertions, 1 deletions
diff --git a/src/bindings/CMakeLists.txt b/src/bindings/CMakeLists.txt index 910b62766..a9032b0d9 100644 --- a/src/bindings/CMakeLists.txt +++ b/src/bindings/CMakeLists.txt @@ -1 +1,18 @@ -add_subdirectory(compat) +find_package(SWIG 3.0.0 REQUIRED) +include(${SWIG_USE_FILE}) + +set(CVC4_SWIG_INTERFACE ${PROJECT_SOURCE_DIR}/src/cvc4.i) + +set_property(SOURCE ${CVC4_SWIG_INTERFACE} PROPERTY CPLUSPLUS ON) + +include_directories( + ${PROJECT_SOURCE_DIR}/src + ${PROJECT_SOURCE_DIR}/src/include + ${CMAKE_BINARY_DIR}/src) + +if(BUILD_BINDINGS_JAVA) + add_subdirectory(java) +endif() +if(BUILD_BINDINGS_PYTHON) + add_subdirectory(python) +endif() |