Commits on Oct 3, 2024

1. Fix compilation with ikos-scan-cc (ament#17). …

   Building cobra_vendor package fails when ikos-scan-cc is used as a
   compiler.
   
   For a command like:
   ```
   ikos-scan-cc -Wall -pedantic -Werror -Wshadow -O2 -DYY_NO_INPUT -I. -std=c99 -o scope_check scope_check.c cwe_util.c c.ar -pthread
   ```
   
   the following error message is printed:
   ```
   clang: error: c.ar: 'linker' input unused [-Werror,-Wunused-command-line-argument]
   ```
   
   Changing the end of the compile command from `c.ar -pthread` to `-Wl,c.ar
   -pthread` fixes the issue.
   
   This commit addresses the issue by modifying the linker flags in the
   CMakeLists.txt.

   

   xfiderek authored and ivanperez-keera committed Oct 3, 2024
   Configuration menu

   • View commit details
   • Copy full SHA for fbe2b4b
   • Browse repository at this point

   Copy the full SHA

   fbe2b4b View commit details

   Browse the repository at this point in the history