From 6019c30a3702f13b8fcedd825ce5dfc09683b586 Mon Sep 17 00:00:00 2001 From: Sebastian Ullrich Date: Sun, 31 May 2020 10:33:03 +0200 Subject: [PATCH] chore: remove obsolete MinGW-specific flag --- src/CMakeLists.txt | 6 ------ 1 file changed, 6 deletions(-) diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt index 44197c2cf0..9fc8737311 100644 --- a/src/CMakeLists.txt +++ b/src/CMakeLists.txt @@ -215,12 +215,6 @@ else() message(WARNING "Disabling JSON support, compile server will not be available") endif() -if(MINGW AND CMAKE_COMPILER_IS_GNUCXX) - # See https://github.com/leanprover/lean/issues/930#issuecomment-172555475 - message(STATUS "Set _GLIBCXX_USE_CXX11_ABI = 0 for a system using MSYS2 + g++") - set(LEAN_EXTRA_CXX_FLAGS "${LEAN_EXTRA_CXX_FLAGS} -D_GLIBCXX_USE_CXX11_ABI=0") -endif() - if(NOT MULTI_THREAD) message(STATUS "Disabled multi-thread support, it will not be safe to run multiple threads in parallel") set(AUTO_THREAD_FINALIZATION OFF)