From dfdacd1fb241c08569cc20b2287c6aedc6b76d6a Mon Sep 17 00:00:00 2001
From: Aina Niemetz <aina.niemetz@gmail.com>
Date: Wed, 12 Sep 2018 17:59:57 -0700
Subject: cmake: Added target examples (currently .cpp examples only)

---
 examples/api/CMakeLists.txt | 10 ++++++++++
 1 file changed, 10 insertions(+)

(limited to 'examples/api/CMakeLists.txt')

diff --git a/examples/api/CMakeLists.txt b/examples/api/CMakeLists.txt
index e69de29bb..38dc563c0 100644
--- a/examples/api/CMakeLists.txt
+++ b/examples/api/CMakeLists.txt
@@ -0,0 +1,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()
-- 
cgit v1.2.3