Skip to content

Commit

Permalink
Fixed another cmake issue.
Browse files Browse the repository at this point in the history
  • Loading branch information
mlaveaux committed Dec 11, 2023
1 parent 19a9ec0 commit 918acb2
Showing 1 changed file with 3 additions and 5 deletions.
8 changes: 3 additions & 5 deletions cmake/ConfigureUNIX.cmake
Original file line number Diff line number Diff line change
Expand Up @@ -68,16 +68,14 @@ mcrl2_add_cxx_flag(-ftls-model=initial-exec)
# Disable the procedure linkage table, which is used for lazy loading.
mcrl2_add_cxx_flag(-fno-plt)

if(NOT MCRL2_IS_CLANG)
if(NOT ${MCRL2_IS_CLANG})
# Disable interposition, which allows inlining external definitions.
mcrl2_add_cxx_flag(-fno-semantic-interposition)

# Change to lld as default linker.
if(MCRL2_ENABLE_LLD)
mcrl2_add_cxx_flag(-fuse-ld=lld)
endif()

mcrl2_add_cxx_flag(-fuse-linker-plugin)
endif()

# This prevents warnings in the dnj bisimulation algorithm.
Expand Down Expand Up @@ -112,7 +110,7 @@ if(APPLE)
endif()
set_property(CACHE CMAKE_APPLE_SILICON_PROCESSOR PROPERTY STRINGS "x86_64" "arm64")
set(CMAKE_OSX_ARCHITECTURES ${CMAKE_APPLE_SILICON_PROCESSOR} CACHE INTERNAL "" FORCE)
elseif(NOT MCRL2_IS_CLANG)
elseif(NOT ${MCRL2_IS_CLANG})
mcrl2_add_link_options(-Wl,--as-needed)

mcrl2_add_debug_link_options(-Wl,--warn-unresolved-symbols,--warn-once)
Expand Down Expand Up @@ -143,7 +141,7 @@ else()
mcrl2_add_c_flag(-Wno-strict-aliasing)
endif()

if(NOT MCRL2_IS_CLANG)
if(NOT ${MCRL2_IS_CLANG})
mcrl2_add_c_flag(-fno-semantic-interposition)

if(MCRL2_ENABLE_LINKER_LLD)
Expand Down

0 comments on commit 918acb2

Please sign in to comment.