Skip to content

Commit

Permalink
Fix compilation with ikos-scan-cc (space-ros/docker#138).
Browse files Browse the repository at this point in the history
This commit fixes compilation with ikos-scan, by modifying linker flags
  • Loading branch information
xfiderek committed Feb 20, 2024
1 parent cf844ce commit 4fd209a
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions cobra_vendor/CMakeLists.txt
Original file line number Diff line number Diff line change
Expand Up @@ -22,9 +22,9 @@ ExternalProject_Add(cobra-${VER}
BUILD_IN_SOURCE TRUE
CONFIGURE_COMMAND ""
BUILD_COMMAND
${CMAKE_COMMAND} -E chdir <SOURCE_DIR>/src make linux && ${CMAKE_COMMAND} -E chdir <SOURCE_DIR>/src_app make all
${CMAKE_COMMAND} -E chdir <SOURCE_DIR>/src make linux && ${CMAKE_COMMAND} -E chdir <SOURCE_DIR>/src_app make all LDFLAGS=-Wl,c.ar\ -pthread
INSTALL_COMMAND
${CMAKE_COMMAND} -E chdir <SOURCE_DIR>/src make install_linux MAN=<SOURCE_DIR>/src_app && ${CMAKE_COMMAND} -E chdir <SOURCE_DIR>/src_app make install_linux
${CMAKE_COMMAND} -E chdir <SOURCE_DIR>/src make install_linux MAN=<SOURCE_DIR>/src_app LDFLAGS=-Wl,c.ar\ -pthread && ${CMAKE_COMMAND} -E chdir <SOURCE_DIR>/src_app make install_linux LDFLAGS=-Wl,c.ar\ -pthread
)

install(PROGRAMS
Expand Down

0 comments on commit 4fd209a

Please sign in to comment.