From c0f9f06d7086f4b2112f35af5f847c19a247caea Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Wed, 17 Jul 2013 12:41:28 -0700 Subject: [PATCH] Set clang++ as default compiler. Add -pthread as a linker flag Signed-off-by: Leonardo de Moura --- src/CMakeLists.txt | 2 +- src/shell/CMakeLists.txt | 2 ++ 2 files changed, 3 insertions(+), 1 deletion(-) diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt index 54fb698c59..8b60515d2a 100644 --- a/src/CMakeLists.txt +++ b/src/CMakeLists.txt @@ -38,7 +38,7 @@ include(FindPackageHandleStandardArgs) FIND_PACKAGE_HANDLE_STANDARD_ARGS(GMP DEFAULT_MSG GMP_INCLUDE_DIR GMP_LIBRARIES) mark_as_advanced(GMP_INCLUDE_DIR GMP_LIBRARIES) -set (CMAKE_CXX_COMPILER "g++-4.8") +set (CMAKE_CXX_COMPILER clang++) add_subdirectory(util) add_subdirectory(shell) diff --git a/src/shell/CMakeLists.txt b/src/shell/CMakeLists.txt index 5981dc819f..8fb1ea710e 100644 --- a/src/shell/CMakeLists.txt +++ b/src/shell/CMakeLists.txt @@ -8,5 +8,7 @@ include_directories("${LEAN_BINARY_DIR}") include_directories (${LEAN_SOURCE_DIR}/util) set (EXTRA_LIBS ${EXTRA_LIBS} util ${GMP_LIBRARIES}) +set (CMAKE_EXE_LINKER_FLAGS "${CMAKE_EXE_LINKER_FLAGS} -pthread") + add_executable(lean lean.cpp) target_link_libraries (lean ${EXTRA_LIBS})