max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

chore: remove obsolete MinGW-specific flag

Browse source
This commit is contained in:
Sebastian Ullrich 2020-05-31 10:33:03 +02:00
parent 8ae25090cf
commit 6019c30a37
1 changed files with 0 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
src/CMakeLists.txt
View file

@ -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)