cmake: Do not set global output directories for binaries and libraries.

diff --git a/CMakeLists.txt b/CMakeLists.txt
index 433babb5d9ae9389cd4d1dbfe243f25c7cce1123..a3f40615471e1542e7bf0505a6a4d9eb24c456a2 100644 (file)
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -123,14 +123,6 @@ macro(cvc4_set_option var value)
   endif()
 endmacro()
 
-#-----------------------------------------------------------------------------#
-
-set(CMAKE_ARCHIVE_OUTPUT_DIRECTORY ${CMAKE_BINARY_DIR}/lib)
-set(CMAKE_LIBRARY_OUTPUT_DIRECTORY ${CMAKE_BINARY_DIR}/lib)
-set(CMAKE_RUNTIME_OUTPUT_DIRECTORY ${CMAKE_BINARY_DIR}/bin)
-message(STATUS "LIB directory is '${CMAKE_BINARY_DIR}/lib'")
-message(STATUS "BIN directory is '${CMAKE_BINARY_DIR}/bin'")
-
 #-----------------------------------------------------------------------------#
 # User options
 

diff --git a/src/main/CMakeLists.txt b/src/main/CMakeLists.txt
index 7ac8b1194547811a7d480fe6f9be2ee5bf32eb70..b49a28223f1dae3446f5ea2b8ac9f9b2cca19e63 100644 (file)
--- a/src/main/CMakeLists.txt
+++ b/src/main/CMakeLists.txt
@@ -21,7 +21,10 @@ set(cvc4main_src_files
 
 add_executable(cvc4-main ${cvc4main_src_files})
 target_compile_definitions(cvc4-main PRIVATE -D__BUILDING_CVC4DRIVER)
-set_target_properties(cvc4-main PROPERTIES OUTPUT_NAME cvc4)
+set_target_properties(cvc4-main
+  PROPERTIES
+    OUTPUT_NAME cvc4
+    RUNTIME_OUTPUT_DIRECTORY ${CMAKE_BINARY_DIR}/bin)
 target_link_libraries(cvc4-main main)
 add_dependencies(cvc4-main token-headers)