blob: a9032b0d9953899cd6d024a29e672d84ddb1f9ec (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
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()
|
