mirror of
https://github.com/gnss-sdr/gnss-sdr
synced 2025-02-21 21:40:18 +00:00
Strip volk_gnsssdr-config-info if ENABLE_STRIP is ON
This commit is contained in:
parent
eaf369bd77
commit
91f3d3085f
@ -94,6 +94,13 @@ add_executable(volk_gnsssdr-config-info volk_gnsssdr-config-info.cc)
|
||||
target_link_libraries(volk_gnsssdr-config-info volk_gnsssdr ${Boost_LIBRARIES} ${Clang_required_link} ${orc_lib})
|
||||
add_dependencies(volk_gnsssdr-config-info volk_gnsssdr)
|
||||
|
||||
if(ENABLE_STRIP)
|
||||
if(CMAKE_COMPILER_IS_GNUCXX AND NOT WIN32)
|
||||
set_target_properties(volk_gnsssdr-config-info
|
||||
PROPERTIES LINK_FLAGS "-s")
|
||||
endif(CMAKE_COMPILER_IS_GNUCXX AND NOT WIN32)
|
||||
endif(ENABLE_STRIP)
|
||||
|
||||
install(
|
||||
TARGETS volk_gnsssdr-config-info
|
||||
DESTINATION bin
|
||||
|
Loading…
x
Reference in New Issue
Block a user