blob: ac2fadd95b17b85ed651a5b776083a4a8a8df656 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
|
if(NOT ENABLE_SHARED)
message(FATAL_ERROR "Can't build language bindings for static CVC4 build.")
endif()
find_package(SWIG 3.0.0 REQUIRED)
if(POLICY CMP0078)
cmake_policy(SET CMP0078 OLD)
endif()
if(POLICY CMP0086)
cmake_policy(SET CMP0086 OLD)
endif()
if(USE_PYTHON3 AND (SWIG_VERSION VERSION_EQUAL 3.0.8))
message(FATAL_ERROR
"\nSWIG ${SWIG_VERSION} is not supported for python3 bindings because of the following bug: https://github.com/swig/swig/issues/588
Please downgrade to 3.0.0-3.0.7 or upgrade.")
endif()
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_SWIG_BINDINGS_JAVA)
add_subdirectory(java)
endif()
if(BUILD_SWIG_BINDINGS_PYTHON)
add_subdirectory(python)
endif()
|
