summaryrefslogtreecommitdiff
path: root/examples/api/CMakeLists.txt
blob: 38dc563c0db0c0aedb6bad4241fb02e7a4e3cda2 (plain) 
1
2
3
4
5
6
7
8
9
10

set(CMAKE_RUNTIME_OUTPUT_DIRECTORY ${CMAKE_BINARY_DIR}/bin/examples/api)

foreach(example ${CVC4_EXAMPLES_API})
  add_executable(${example} EXCLUDE_FROM_ALL ${example}.cpp)
  target_link_libraries(${example} cvc4)
endforeach()

if(BUILD_BINDINGS_JAVA)
  add_subdirectory(java)
endif()
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback