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 /CMakeLists.txt | |
parent | 38c24575b3415f375b14ebfb7685a1621c7587e2 (diff) |
cmake: Add SWIG support + Python and Java bindings.
Diffstat (limited to 'CMakeLists.txt')
-rw-r--r-- | CMakeLists.txt | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/CMakeLists.txt b/CMakeLists.txt index 74f223e22..81bbaf533 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt @@ -158,6 +158,12 @@ option(USE_LFSC "Use LFSC proof checker") option(USE_READLINE "Use readline for better interactive support" OFF) option(USE_SYMFPU "Use SymFPU for floating point support") +# Supported language bindings +option(BUILD_BINDINGS_JAVA "Build Java bindings" OFF) +option(BUILD_BINDINGS_PYTHON "Build Python bindings" OFF) + +# All bindings: c,java,csharp,perl,php,python,ruby,tcl,ocaml + #-----------------------------------------------------------------------------# # Internal cmake variables @@ -239,6 +245,10 @@ enable_testing() #-----------------------------------------------------------------------------# +if(BUILD_BINDINGS_JAVA OR BUILD_BINDINGS_PYTHON) + set(BUILD_BINDINGS TRUE) +endif() + if(ENABLE_ASAN) set(CMAKE_REQUIRED_LIBRARIES -fsanitize=address) add_required_c_cxx_flag("-fsanitize=address") @@ -506,6 +516,9 @@ include_directories(${CMAKE_CURRENT_BINARY_DIR}) add_subdirectory(doc) add_subdirectory(src) +if(BUILD_BINDINGS) + add_subdirectory(src/bindings) +endif() add_subdirectory(test/java) add_subdirectory(test/regress) add_subdirectory(test/system) |