examples/api/CMakeLists.txt

   1 set(EXAMPLES_API_BIN_DIR ${EXAMPLES_BIN_DIR}/api)
   2
   3 foreach(example ${CVC4_EXAMPLES_API})
   4   add_executable(${example} EXCLUDE_FROM_ALL ${example}.cpp)
   5   target_link_libraries(${example} cvc4)
   6   set_target_properties(${example}
   7     PROPERTIES RUNTIME_OUTPUT_DIRECTORY ${EXAMPLES_API_BIN_DIR})
   8 endforeach()
   9
  10 if(BUILD_BINDINGS_JAVA)
  11   add_subdirectory(java)
  12 endif()