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

chore: remove -fno-semantic-interposition again

Browse source 
It doesn't seem to change anything other than breaking with LLVM 7
This commit is contained in:
Sebastian Ullrich 2021-07-13 11:48:24 +02:00
parent 754286dc6d
commit f1be9844d1
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
src/CMakeLists.txt
View file

@ -304,8 +304,8 @@ endif()
if(${CMAKE_SYSTEM_NAME} MATCHES "Linux")
set(LEANC_SHARED_LINKER_FLAGS "${LEANC_SHARED_LINKER_FLAGS} -fPIC -Wl,-Bsymbolic-functions")
set(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} -fPIC -fno-semantic-interposition -ftls-model=initial-exec")
set(LEANC_EXTRA_FLAGS "-fPIC -fno-semantic-interposition")
set(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} -fPIC -ftls-model=initial-exec")
set(LEANC_EXTRA_FLAGS "-fPIC")
endif()
# export all symbols for the interpreter