`unknown warning option` when running ikos-scan on NASA cFS

[MichaelBonnet]

I am trying to use ikos to statically analyze NASA cFS code.

To reproduce what I'm encountering, run the following (follows the documentation):

git clone https://github.com/nasa/cFS.git
cd cFS
git submodule init
git submodule update
cp cfe/cmake/Makefile.sample Makefile
cp -r cfe/cmake/sample_defs sample_defs

In the sample defs at cfs/cFS/cfe/cmake/sample_defs/arch_build_custom.cmake, the compile options -Wno-format-truncation and -Wno-stringop-truncation are present. When running ikos-scan over the basic build commands, errors show up:

mbonnet@workstation:~/cFS$ ikos-scan make SIMULATION=native prep
mkdir -p "build"
(cd "build" && cmake -DCMAKE_INSTALL_PREFIX=/exe -DCMAKE_BUILD_TYPE=debug "/home/mbonnet/cFS/cfe")
CMake Deprecation Warning at CMakeLists.txt:57 (cmake_minimum_required):
  Compatibility with CMake < 3.10 will be removed from a future version of
  CMake.

  Update the VERSION argument <min> value.  Or, use the <min>...<max> syntax
  to tell CMake that the project requires at least <min> but has been updated
  to work with policies introduced by <max> or earlier.


-- The C compiler identification is Clang 14.0.6
-- Detecting C compiler ABI info
-- Detecting C compiler ABI info - done
-- Check for working C compiler: /home/mbonnet/ikos/bin/ikos-scan-cc - skipped
-- Detecting C compile features
-- Detecting C compile features - done
-- Mission configuration sample automatically selected
-- OMIT_DEPRECATED=false: Deprecated elements included in build
-- Search path for modules: apps;libs;psp/fsw/modules;cfe/modules
-- Module 'core_api' found at /home/mbonnet/cFS/cfe/modules/core_api
-- Module 'core_private' found at /home/mbonnet/cFS/cfe/modules/core_private
-- Module 'ci_lab' found at /home/mbonnet/cFS/apps/ci_lab
-- Module 'to_lab' found at /home/mbonnet/cFS/apps/to_lab
-- Module 'sch_lab' found at /home/mbonnet/cFS/apps/sch_lab
-- Module 'cfe_assert' found at /home/mbonnet/cFS/cfe/modules/cfe_assert
-- Module 'sample_app' found at /home/mbonnet/cFS/apps/sample_app
-- Module 'sample_lib' found at /home/mbonnet/cFS/libs/sample_lib
-- Module 'es' found at /home/mbonnet/cFS/cfe/modules/es
-- Module 'evs' found at /home/mbonnet/cFS/cfe/modules/evs
-- Module 'fs' found at /home/mbonnet/cFS/cfe/modules/fs
-- Module 'sb' found at /home/mbonnet/cFS/cfe/modules/sb
-- Module 'tbl' found at /home/mbonnet/cFS/cfe/modules/tbl
-- Module 'time' found at /home/mbonnet/cFS/cfe/modules/time
-- Module 'osal' found at /home/mbonnet/cFS/osal
-- Module 'psp' found at /home/mbonnet/cFS/psp
-- Module 'msg' found at /home/mbonnet/cFS/cfe/modules/msg
-- Module 'sbr' found at /home/mbonnet/cFS/cfe/modules/sbr
-- Module 'resourceid' found at /home/mbonnet/cFS/cfe/modules/resourceid
-- Module 'config' found at /home/mbonnet/cFS/cfe/modules/config
CMake Deprecation Warning at /home/mbonnet/cFS/osal/CMakeLists.txt:91 (cmake_minimum_required):
  Compatibility with CMake < 3.10 will be removed from a future version of
  CMake.

  Update the VERSION argument <min> value.  Or, use the <min>...<max> syntax
  to tell CMake that the project requires at least <min> but has been updated
  to work with policies introduced by <max> or earlier.


-- OSAL_SYSTEM_BSPTYPE not defined, no OSAL implementation will be compiled
CMake Deprecation Warning at /home/mbonnet/cFS/osal/docs/src/CMakeLists.txt:31 (cmake_minimum_required):
  Compatibility with CMake < 3.10 will be removed from a future version of
  CMake.

  Update the VERSION argument <min> value.  Or, use the <min>...<max> syntax
  to tell CMake that the project requires at least <min> but has been updated
  to work with policies introduced by <max> or earlier.


-- Using file: /home/mbonnet/cFS/cfe/modules/core_api/config/default_cfe_mission_cfg.h for mission_cfg.h
-- Using file: /home/mbonnet/cFS/sample_defs/sample_perfids.h for perfids.h
-- Using file: /home/mbonnet/cFS/cfe/modules/core_api/config/default_cfe_core_api_interface_cfg.h for cfe_core_api_interface_cfg.h
-- Using file: /home/mbonnet/cFS/cfe/modules/es/config/default_cfe_es_mission_cfg.h for cfe_es_mission_cfg.h
-- Using file: /home/mbonnet/cFS/cfe/modules/es/config/default_cfe_es_interface_cfg.h for cfe_es_interface_cfg.h
-- Using file: /home/mbonnet/cFS/cfe/modules/es/config/default_cfe_es_extern_typedefs.h for cfe_es_extern_typedefs.h
-- Using file: /home/mbonnet/cFS/cfe/modules/es/config/default_cfe_es_fcncodes.h for cfe_es_fcncodes.h
-- Using file: /home/mbonnet/cFS/cfe/modules/es/config/default_cfe_es_msgdefs.h for cfe_es_msgdefs.h
-- Using file: /home/mbonnet/cFS/cfe/modules/es/config/default_cfe_es_msg.h for cfe_es_msg.h
-- Using file: /home/mbonnet/cFS/cfe/modules/es/config/default_cfe_es_msgstruct.h for cfe_es_msgstruct.h
-- Using file: /home/mbonnet/cFS/cfe/modules/es/config/default_cfe_es_topicids.h for cfe_es_topicids.h
-- Using file: /home/mbonnet/cFS/cfe/modules/evs/config/default_cfe_evs_mission_cfg.h for cfe_evs_mission_cfg.h
-- Using file: /home/mbonnet/cFS/cfe/modules/evs/config/default_cfe_evs_interface_cfg.h for cfe_evs_interface_cfg.h
-- Using file: /home/mbonnet/cFS/cfe/modules/evs/config/default_cfe_evs_extern_typedefs.h for cfe_evs_extern_typedefs.h
-- Using file: /home/mbonnet/cFS/cfe/modules/evs/config/default_cfe_evs_fcncodes.h for cfe_evs_fcncodes.h
-- Using file: /home/mbonnet/cFS/cfe/modules/evs/config/default_cfe_evs_msgdefs.h for cfe_evs_msgdefs.h
-- Using file: /home/mbonnet/cFS/cfe/modules/evs/config/default_cfe_evs_msg.h for cfe_evs_msg.h
-- Using file: /home/mbonnet/cFS/cfe/modules/evs/config/default_cfe_evs_msgstruct.h for cfe_evs_msgstruct.h
-- Using file: /home/mbonnet/cFS/cfe/modules/evs/config/default_cfe_evs_topicids.h for cfe_evs_topicids.h
-- Using file: /home/mbonnet/cFS/cfe/modules/fs/config/default_cfe_fs_mission_cfg.h for cfe_fs_mission_cfg.h
-- Using file: /home/mbonnet/cFS/cfe/modules/fs/config/default_cfe_fs_interface_cfg.h for cfe_fs_interface_cfg.h
-- Using file: /home/mbonnet/cFS/cfe/modules/fs/config/default_cfe_fs_filedef.h for cfe_fs_filedef.h
-- Using file: /home/mbonnet/cFS/cfe/modules/fs/config/default_cfe_fs_extern_typedefs.h for cfe_fs_extern_typedefs.h
-- Using file: /home/mbonnet/cFS/cfe/modules/sb/config/default_cfe_sb_mission_cfg.h for cfe_sb_mission_cfg.h
-- Using file: /home/mbonnet/cFS/cfe/modules/sb/config/default_cfe_sb_interface_cfg.h for cfe_sb_interface_cfg.h
-- Using file: /home/mbonnet/cFS/cfe/modules/sb/config/default_cfe_sb_extern_typedefs.h for cfe_sb_extern_typedefs.h
-- Using file: /home/mbonnet/cFS/cfe/modules/sb/config/default_cfe_sb_fcncodes.h for cfe_sb_fcncodes.h
-- Using file: /home/mbonnet/cFS/cfe/modules/sb/config/default_cfe_sb_msgdefs.h for cfe_sb_msgdefs.h
-- Using file: /home/mbonnet/cFS/cfe/modules/sb/config/default_cfe_sb_msg.h for cfe_sb_msg.h
-- Using file: /home/mbonnet/cFS/cfe/modules/sb/config/default_cfe_sb_msgstruct.h for cfe_sb_msgstruct.h
-- Using file: /home/mbonnet/cFS/cfe/modules/sb/config/default_cfe_sb_topicids.h for cfe_sb_topicids.h
-- Using file: /home/mbonnet/cFS/cfe/modules/tbl/config/default_cfe_tbl_mission_cfg.h for cfe_tbl_mission_cfg.h
-- Using file: /home/mbonnet/cFS/cfe/modules/tbl/config/default_cfe_tbl_interface_cfg.h for cfe_tbl_interface_cfg.h
-- Using file: /home/mbonnet/cFS/cfe/modules/tbl/config/default_cfe_tbl_extern_typedefs.h for cfe_tbl_extern_typedefs.h
-- Using file: /home/mbonnet/cFS/cfe/modules/tbl/config/default_cfe_tbl_fcncodes.h for cfe_tbl_fcncodes.h
-- Using file: /home/mbonnet/cFS/cfe/modules/tbl/config/default_cfe_tbl_msgdefs.h for cfe_tbl_msgdefs.h
-- Using file: /home/mbonnet/cFS/cfe/modules/tbl/config/default_cfe_tbl_msg.h for cfe_tbl_msg.h
-- Using file: /home/mbonnet/cFS/cfe/modules/tbl/config/default_cfe_tbl_msgstruct.h for cfe_tbl_msgstruct.h
-- Using file: /home/mbonnet/cFS/cfe/modules/tbl/config/default_cfe_tbl_topicids.h for cfe_tbl_topicids.h
-- Using file: /home/mbonnet/cFS/cfe/modules/time/config/default_cfe_time_mission_cfg.h for cfe_time_mission_cfg.h
-- Using file: /home/mbonnet/cFS/cfe/modules/time/config/default_cfe_time_interface_cfg.h for cfe_time_interface_cfg.h
-- Using file: /home/mbonnet/cFS/cfe/modules/time/config/default_cfe_time_extern_typedefs.h for cfe_time_extern_typedefs.h
-- Using file: /home/mbonnet/cFS/cfe/modules/time/config/default_cfe_time_fcncodes.h for cfe_time_fcncodes.h
-- Using file: /home/mbonnet/cFS/cfe/modules/time/config/default_cfe_time_msgdefs.h for cfe_time_msgdefs.h
-- Using file: /home/mbonnet/cFS/cfe/modules/time/config/default_cfe_time_msg.h for cfe_time_msg.h
-- Using file: /home/mbonnet/cFS/cfe/modules/time/config/default_cfe_time_msgstruct.h for cfe_time_msgstruct.h
-- Using file: /home/mbonnet/cFS/cfe/modules/time/config/default_cfe_time_topicids.h for cfe_time_topicids.h
-- Using file: /home/mbonnet/cFS/cfe/modules/msg/option_inc/default_cfe_msg_hdr_pri.h for cfe_msg_hdr.h
-- Using file: /home/mbonnet/cFS/cfe/modules/msg/option_inc/default_cfe_msg_sechdr.h for cfe_msg_sechdr.h
-- Using file: /home/mbonnet/cFS/cfe/modules/resourceid/option_inc/cfe_resourceid_simple.h for cfe_resourceid_typedef.h
-- Configuring for system arch: native/default_cpu1
CMake Deprecation Warning at CMakeLists.txt:57 (cmake_minimum_required):
  Compatibility with CMake < 3.10 will be removed from a future version of
  CMake.

  Update the VERSION argument <min> value.  Or, use the <min>...<max> syntax
  to tell CMake that the project requires at least <min> but has been updated
  to work with policies introduced by <max> or earlier.


-- The C compiler identification is Clang 14.0.6
-- Detecting C compiler ABI info
-- Detecting C compiler ABI info - done
-- Check for working C compiler: /home/mbonnet/ikos/bin/ikos-scan-cc - skipped
-- Detecting C compile features
-- Detecting C compile features - done
-- OMIT_DEPRECATED=false: Deprecated elements included in build
-- Using file: /home/mbonnet/cFS/cfe/modules/core_api/config/default_cfe_msgids.h for msgids.h
-- Using file: /home/mbonnet/cFS/cfe/modules/core_api/config/default_cfe_core_api_base_msgids.h for cfe_core_api_base_msgids.h
-- Using file: /home/mbonnet/cFS/cfe/modules/core_private/config/default_cfe_platform_cfg.h for platform_cfg.h
-- Using file: /home/mbonnet/cFS/cfe/modules/core_private/config/default_cfe_core_private_internal_cfg.h for cfe_core_private_internal_cfg.h
-- Using file: /home/mbonnet/cFS/cfe/modules/es/config/default_cfe_es_internal_cfg.h for cfe_es_internal_cfg.h
-- Using file: /home/mbonnet/cFS/cfe/modules/es/config/default_cfe_es_msgids.h for cfe_es_msgids.h
-- Using file: /home/mbonnet/cFS/cfe/modules/es/config/default_cfe_es_platform_cfg.h for cfe_es_platform_cfg.h
-- Using file: /home/mbonnet/cFS/cfe/modules/evs/config/default_cfe_evs_internal_cfg.h for cfe_evs_internal_cfg.h
-- Using file: /home/mbonnet/cFS/cfe/modules/evs/config/default_cfe_evs_msgids.h for cfe_evs_msgids.h
-- Using file: /home/mbonnet/cFS/cfe/modules/evs/config/default_cfe_evs_platform_cfg.h for cfe_evs_platform_cfg.h
-- Using file: /home/mbonnet/cFS/cfe/modules/sb/config/default_cfe_sb_internal_cfg.h for cfe_sb_internal_cfg.h
-- Using file: /home/mbonnet/cFS/cfe/modules/sb/config/default_cfe_sb_msgids.h for cfe_sb_msgids.h
-- Using file: /home/mbonnet/cFS/cfe/modules/sb/config/default_cfe_sb_platform_cfg.h for cfe_sb_platform_cfg.h
-- Using file: /home/mbonnet/cFS/cfe/modules/tbl/config/default_cfe_tbl_internal_cfg.h for cfe_tbl_internal_cfg.h
-- Using file: /home/mbonnet/cFS/cfe/modules/tbl/config/default_cfe_tbl_msgids.h for cfe_tbl_msgids.h
-- Using file: /home/mbonnet/cFS/cfe/modules/tbl/config/default_cfe_tbl_platform_cfg.h for cfe_tbl_platform_cfg.h
-- Using file: /home/mbonnet/cFS/cfe/modules/time/config/default_cfe_time_internal_cfg.h for cfe_time_internal_cfg.h
-- Using file: /home/mbonnet/cFS/cfe/modules/time/config/default_cfe_time_msgids.h for cfe_time_msgids.h
-- Using file: /home/mbonnet/cFS/cfe/modules/time/config/default_cfe_time_platform_cfg.h for cfe_time_platform_cfg.h
CMake Deprecation Warning at /home/mbonnet/cFS/osal/CMakeLists.txt:91 (cmake_minimum_required):
  Compatibility with CMake < 3.10 will be removed from a future version of
  CMake.

  Update the VERSION argument <min> value.  Or, use the <min>...<max> syntax
  to tell CMake that the project requires at least <min> but has been updated
  to work with policies introduced by <max> or earlier.


-- BSP Selection: generic-linux at /home/mbonnet/cFS/osal/src/bsp/generic-linux
-- OSAL Selection: posix at /home/mbonnet/cFS/osal/src/os/posix
-- OSAL Compile Definitions: _XOPEN_SOURCE=600;_POSIX_OS_
-- PSP Selection: pc-linux
-- Building Core Module: core_api
-- Building Core Module: core_private
-- Building Core Module: es
-- Building Core Module: evs
-- Building Core Module: fs
-- Building Core Module: sb
-- Building Core Module: tbl
-- Building Core Module: time
-- Building Core Module: psp
-- Building Core Module: msg
-- CCSDS primary header included in message header (not including CCSDS extended header)
-- Message Id version 1 in use (MsgId V1)
-- Building Core Module: sbr
-- Using direct map software bus routing implementation
-- Building Core Module: resourceid
-- Building Core Module: config
-- Building Dynamic App: ci_lab targets=cpu1
CMake Deprecation Warning at /home/mbonnet/cFS/apps/ci_lab/CMakeLists.txt:1 (cmake_minimum_required):
  Compatibility with CMake < 3.10 will be removed from a future version of
  CMake.

  Update the VERSION argument <min> value.  Or, use the <min>...<max> syntax
  to tell CMake that the project requires at least <min> but has been updated
  to work with policies introduced by <max> or earlier.


-- Building Dynamic App: to_lab targets=cpu1
CMake Deprecation Warning at /home/mbonnet/cFS/apps/to_lab/CMakeLists.txt:1 (cmake_minimum_required):
  Compatibility with CMake < 3.10 will be removed from a future version of
  CMake.

  Update the VERSION argument <min> value.  Or, use the <min>...<max> syntax
  to tell CMake that the project requires at least <min> but has been updated
  to work with policies introduced by <max> or earlier.


-- Using file: /home/mbonnet/cFS/apps/to_lab/fsw/tables/to_lab_sub.c for to_lab_sub.c
-- Using /home/mbonnet/cFS/apps/to_lab/fsw/tables/to_lab_sub.c as table definition for to_lab_sub on cpu1
CMake Warning (dev) at cmake/arch_build.cmake:307 (add_custom_command):
  Keyword WORKING_DIRECTORY requires a value, but none was given.

  Policy CMP0175 is not set: add_custom_command() rejects invalid arguments.
  Run "cmake --help-policy CMP0175" for policy details.  Use the cmake_policy
  command to set the policy and suppress this warning.
Call Stack (most recent call first):
  /home/mbonnet/cFS/apps/to_lab/CMakeLists.txt:25 (add_cfe_tables)
This warning is for project developers.  Use -Wno-dev to suppress it.

-- Building Dynamic App: sch_lab targets=cpu1
CMake Deprecation Warning at /home/mbonnet/cFS/apps/sch_lab/CMakeLists.txt:1 (cmake_minimum_required):
  Compatibility with CMake < 3.10 will be removed from a future version of
  CMake.

  Update the VERSION argument <min> value.  Or, use the <min>...<max> syntax
  to tell CMake that the project requires at least <min> but has been updated
  to work with policies introduced by <max> or earlier.


-- Using file: /home/mbonnet/cFS/apps/sch_lab/fsw/tables/sch_lab_table.c for sch_lab_table.c
-- Using /home/mbonnet/cFS/apps/sch_lab/fsw/tables/sch_lab_table.c as table definition for sch_lab_table on cpu1
CMake Warning (dev) at cmake/arch_build.cmake:307 (add_custom_command):
  Keyword WORKING_DIRECTORY requires a value, but none was given.

  Policy CMP0175 is not set: add_custom_command() rejects invalid arguments.
  Run "cmake --help-policy CMP0175" for policy details.  Use the cmake_policy
  command to set the policy and suppress this warning.
Call Stack (most recent call first):
  /home/mbonnet/cFS/apps/sch_lab/CMakeLists.txt:19 (add_cfe_tables)
This warning is for project developers.  Use -Wno-dev to suppress it.

-- Building Dynamic App: cfe_assert targets=cpu1
-- Building Dynamic App: sample_app targets=cpu1
-- Using file: /home/mbonnet/cFS/apps/sample_app/fsw/tables/sample_app_tbl.c for sample_app_tbl.c
-- Using /home/mbonnet/cFS/apps/sample_app/fsw/tables/sample_app_tbl.c as table definition for sample_app_tbl on cpu1
CMake Warning (dev) at cmake/arch_build.cmake:307 (add_custom_command):
  Keyword WORKING_DIRECTORY requires a value, but none was given.

  Policy CMP0175 is not set: add_custom_command() rejects invalid arguments.
  Run "cmake --help-policy CMP0175" for policy details.  Use the cmake_policy
  command to set the policy and suppress this warning.
Call Stack (most recent call first):
  /home/mbonnet/cFS/apps/sample_app/CMakeLists.txt:11 (add_cfe_tables)
This warning is for project developers.  Use -Wno-dev to suppress it.

-- Building Dynamic App: sample_lib targets=cpu1
NOTE: Selected /home/mbonnet/cFS/sample_defs/cpu1_cfe_es_startup.scr as source for cfe_es_startup.scr on cpu1
-- Configuring done (0.5s)
-- Generating done (0.1s)
-- Build files have been written to: /home/mbonnet/cFS/build/native/default_cpu1
-- Configuring done (1.1s)
-- Generating done (0.0s)
-- Build files have been written to: /home/mbonnet/cFS/build
echo "-DCMAKE_INSTALL_PREFIX=/exe -DCMAKE_BUILD_TYPE=debug" > "build/.prep"
Analyze build/CMakeFiles/3.31.6/CompilerIdC/a.out? [Y/n] n
Analyze build/native/default_cpu1/CMakeFiles/3.31.6/CompilerIdC/a.out? [Y/n] n

mbonnet@workstation:~/cFS$ ikos-scan make
make --no-print-directory -C "build" mission-all
[ 50%] Building C object tools/elf2cfetbl/CMakeFiles/elf2cfetbl.dir/elf2cfetbl.c.o
[100%] Linking C executable elf2cfetbl
[100%] Built target elf2cfetbl
[100%] Built target cfe-build-env
inside get_version for MISSION
inside get_version for core_api
inside get_version for core_private
inside get_version for ci_lab
inside get_version for to_lab
inside get_version for sch_lab
inside get_version for cfe_assert
inside get_version for sample_app
inside get_version for sample_lib
inside get_version for es
inside get_version for evs
inside get_version for fs
inside get_version for sb
inside get_version for tbl
inside get_version for time
inside get_version for osal
inside get_version for psp
inside get_version for msg
inside get_version for sbr
inside get_version for resourceid
inside get_version for config
[100%] Built target cfe-module-version
[100%] Built target mission-version
[100%] Built target mission-prebuild
[  0%] Building C object osal/generic-linux_impl/CMakeFiles/osal_generic-linux_impl.dir/src/bsp_start.c.o
error: unknown warning option '-Wno-format-truncation' [-Werror,-Wunknown-warning-option]
error: unknown warning option '-Wno-stringop-truncation'; did you mean '-Wno-string-concatenation'? [-Werror,-Wunknown-warning-option]
make[7]: *** [osal/generic-linux_impl/CMakeFiles/osal_generic-linux_impl.dir/build.make:79: osal/generic-linux_impl/CMakeFiles/osal_generic-linux_impl.dir/src/bsp_start.c.o] Error 1
make[6]: *** [CMakeFiles/Makefile2:1158: osal/generic-linux_impl/CMakeFiles/osal_generic-linux_impl.dir/all] Error 2
make[5]: *** [Makefile:146: all] Error 2
make[4]: *** [CMakeFiles/native_default_cpu1-all.dir/build.make:70: CMakeFiles/native_default_cpu1-all] Error 2
make[3]: *** [CMakeFiles/Makefile2:633: CMakeFiles/native_default_cpu1-all.dir/all] Error 2
make[2]: *** [CMakeFiles/Makefile2:243: CMakeFiles/mission-all.dir/rule] Error 2
make[1]: *** [Makefile:179: mission-all] Error 2
make: *** [Makefile:119: all] Error 2

As you can see, the key errors here are:

error: unknown warning option '-Wno-format-truncation' [-Werror,-Wunknown-warning-option]
error: unknown warning option '-Wno-stringop-truncation'; did you mean '-Wno-string-concatenation'? [-Werror,-Wunknown-warning-option]

Running the build commands normally (without ikos-scan) results in no errors and a successful build.

Evidence of successful build without ikos-scan

mbonnet@workstation:~/cFS$ make SIMULATION=native prep
mkdir -p "build"
(cd "build" && cmake -DCMAKE_INSTALL_PREFIX=/exe -DCMAKE_BUILD_TYPE=debug "/home/mbonnet/cFS/cfe")
CMake Deprecation Warning at CMakeLists.txt:57 (cmake_minimum_required):
  Compatibility with CMake < 3.10 will be removed from a future version of
  CMake.

  Update the VERSION argument <min> value.  Or, use the <min>...<max> syntax
  to tell CMake that the project requires at least <min> but has been updated
  to work with policies introduced by <max> or earlier.


-- The C compiler identification is GNU 13.3.0
-- Detecting C compiler ABI info
-- Detecting C compiler ABI info - done
-- Check for working C compiler: /usr/bin/cc - skipped
-- Detecting C compile features
-- Detecting C compile features - done
-- Mission configuration sample automatically selected
-- OMIT_DEPRECATED=false: Deprecated elements included in build
-- Search path for modules: apps;libs;psp/fsw/modules;cfe/modules
-- Module 'core_api' found at /home/mbonnet/cFS/cfe/modules/core_api
-- Module 'core_private' found at /home/mbonnet/cFS/cfe/modules/core_private
-- Module 'ci_lab' found at /home/mbonnet/cFS/apps/ci_lab
-- Module 'to_lab' found at /home/mbonnet/cFS/apps/to_lab
-- Module 'sch_lab' found at /home/mbonnet/cFS/apps/sch_lab
-- Module 'cfe_assert' found at /home/mbonnet/cFS/cfe/modules/cfe_assert
-- Module 'sample_app' found at /home/mbonnet/cFS/apps/sample_app
-- Module 'sample_lib' found at /home/mbonnet/cFS/libs/sample_lib
-- Module 'es' found at /home/mbonnet/cFS/cfe/modules/es
-- Module 'evs' found at /home/mbonnet/cFS/cfe/modules/evs
-- Module 'fs' found at /home/mbonnet/cFS/cfe/modules/fs
-- Module 'sb' found at /home/mbonnet/cFS/cfe/modules/sb
-- Module 'tbl' found at /home/mbonnet/cFS/cfe/modules/tbl
-- Module 'time' found at /home/mbonnet/cFS/cfe/modules/time
-- Module 'osal' found at /home/mbonnet/cFS/osal
-- Module 'psp' found at /home/mbonnet/cFS/psp
-- Module 'msg' found at /home/mbonnet/cFS/cfe/modules/msg
-- Module 'sbr' found at /home/mbonnet/cFS/cfe/modules/sbr
-- Module 'resourceid' found at /home/mbonnet/cFS/cfe/modules/resourceid
-- Module 'config' found at /home/mbonnet/cFS/cfe/modules/config
CMake Deprecation Warning at /home/mbonnet/cFS/osal/CMakeLists.txt:91 (cmake_minimum_required):
  Compatibility with CMake < 3.10 will be removed from a future version of
  CMake.

  Update the VERSION argument <min> value.  Or, use the <min>...<max> syntax
  to tell CMake that the project requires at least <min> but has been updated
  to work with policies introduced by <max> or earlier.


-- OSAL_SYSTEM_BSPTYPE not defined, no OSAL implementation will be compiled
CMake Deprecation Warning at /home/mbonnet/cFS/osal/docs/src/CMakeLists.txt:31 (cmake_minimum_required):
  Compatibility with CMake < 3.10 will be removed from a future version of
  CMake.

  Update the VERSION argument <min> value.  Or, use the <min>...<max> syntax
  to tell CMake that the project requires at least <min> but has been updated
  to work with policies introduced by <max> or earlier.


-- Using file: /home/mbonnet/cFS/cfe/modules/core_api/config/default_cfe_mission_cfg.h for mission_cfg.h
-- Using file: /home/mbonnet/cFS/sample_defs/sample_perfids.h for perfids.h
-- Using file: /home/mbonnet/cFS/cfe/modules/core_api/config/default_cfe_core_api_interface_cfg.h for cfe_core_api_interface_cfg.h
-- Using file: /home/mbonnet/cFS/cfe/modules/es/config/default_cfe_es_mission_cfg.h for cfe_es_mission_cfg.h
-- Using file: /home/mbonnet/cFS/cfe/modules/es/config/default_cfe_es_interface_cfg.h for cfe_es_interface_cfg.h
-- Using file: /home/mbonnet/cFS/cfe/modules/es/config/default_cfe_es_extern_typedefs.h for cfe_es_extern_typedefs.h
-- Using file: /home/mbonnet/cFS/cfe/modules/es/config/default_cfe_es_fcncodes.h for cfe_es_fcncodes.h
-- Using file: /home/mbonnet/cFS/cfe/modules/es/config/default_cfe_es_msgdefs.h for cfe_es_msgdefs.h
-- Using file: /home/mbonnet/cFS/cfe/modules/es/config/default_cfe_es_msg.h for cfe_es_msg.h
-- Using file: /home/mbonnet/cFS/cfe/modules/es/config/default_cfe_es_msgstruct.h for cfe_es_msgstruct.h
-- Using file: /home/mbonnet/cFS/cfe/modules/es/config/default_cfe_es_topicids.h for cfe_es_topicids.h
-- Using file: /home/mbonnet/cFS/cfe/modules/evs/config/default_cfe_evs_mission_cfg.h for cfe_evs_mission_cfg.h
-- Using file: /home/mbonnet/cFS/cfe/modules/evs/config/default_cfe_evs_interface_cfg.h for cfe_evs_interface_cfg.h
-- Using file: /home/mbonnet/cFS/cfe/modules/evs/config/default_cfe_evs_extern_typedefs.h for cfe_evs_extern_typedefs.h
-- Using file: /home/mbonnet/cFS/cfe/modules/evs/config/default_cfe_evs_fcncodes.h for cfe_evs_fcncodes.h
-- Using file: /home/mbonnet/cFS/cfe/modules/evs/config/default_cfe_evs_msgdefs.h for cfe_evs_msgdefs.h
-- Using file: /home/mbonnet/cFS/cfe/modules/evs/config/default_cfe_evs_msg.h for cfe_evs_msg.h
-- Using file: /home/mbonnet/cFS/cfe/modules/evs/config/default_cfe_evs_msgstruct.h for cfe_evs_msgstruct.h
-- Using file: /home/mbonnet/cFS/cfe/modules/evs/config/default_cfe_evs_topicids.h for cfe_evs_topicids.h
-- Using file: /home/mbonnet/cFS/cfe/modules/fs/config/default_cfe_fs_mission_cfg.h for cfe_fs_mission_cfg.h
-- Using file: /home/mbonnet/cFS/cfe/modules/fs/config/default_cfe_fs_interface_cfg.h for cfe_fs_interface_cfg.h
-- Using file: /home/mbonnet/cFS/cfe/modules/fs/config/default_cfe_fs_filedef.h for cfe_fs_filedef.h
-- Using file: /home/mbonnet/cFS/cfe/modules/fs/config/default_cfe_fs_extern_typedefs.h for cfe_fs_extern_typedefs.h
-- Using file: /home/mbonnet/cFS/cfe/modules/sb/config/default_cfe_sb_mission_cfg.h for cfe_sb_mission_cfg.h
-- Using file: /home/mbonnet/cFS/cfe/modules/sb/config/default_cfe_sb_interface_cfg.h for cfe_sb_interface_cfg.h
-- Using file: /home/mbonnet/cFS/cfe/modules/sb/config/default_cfe_sb_extern_typedefs.h for cfe_sb_extern_typedefs.h
-- Using file: /home/mbonnet/cFS/cfe/modules/sb/config/default_cfe_sb_fcncodes.h for cfe_sb_fcncodes.h
-- Using file: /home/mbonnet/cFS/cfe/modules/sb/config/default_cfe_sb_msgdefs.h for cfe_sb_msgdefs.h
-- Using file: /home/mbonnet/cFS/cfe/modules/sb/config/default_cfe_sb_msg.h for cfe_sb_msg.h
-- Using file: /home/mbonnet/cFS/cfe/modules/sb/config/default_cfe_sb_msgstruct.h for cfe_sb_msgstruct.h
-- Using file: /home/mbonnet/cFS/cfe/modules/sb/config/default_cfe_sb_topicids.h for cfe_sb_topicids.h
-- Using file: /home/mbonnet/cFS/cfe/modules/tbl/config/default_cfe_tbl_mission_cfg.h for cfe_tbl_mission_cfg.h
-- Using file: /home/mbonnet/cFS/cfe/modules/tbl/config/default_cfe_tbl_interface_cfg.h for cfe_tbl_interface_cfg.h
-- Using file: /home/mbonnet/cFS/cfe/modules/tbl/config/default_cfe_tbl_extern_typedefs.h for cfe_tbl_extern_typedefs.h
-- Using file: /home/mbonnet/cFS/cfe/modules/tbl/config/default_cfe_tbl_fcncodes.h for cfe_tbl_fcncodes.h
-- Using file: /home/mbonnet/cFS/cfe/modules/tbl/config/default_cfe_tbl_msgdefs.h for cfe_tbl_msgdefs.h
-- Using file: /home/mbonnet/cFS/cfe/modules/tbl/config/default_cfe_tbl_msg.h for cfe_tbl_msg.h
-- Using file: /home/mbonnet/cFS/cfe/modules/tbl/config/default_cfe_tbl_msgstruct.h for cfe_tbl_msgstruct.h
-- Using file: /home/mbonnet/cFS/cfe/modules/tbl/config/default_cfe_tbl_topicids.h for cfe_tbl_topicids.h
-- Using file: /home/mbonnet/cFS/cfe/modules/time/config/default_cfe_time_mission_cfg.h for cfe_time_mission_cfg.h
-- Using file: /home/mbonnet/cFS/cfe/modules/time/config/default_cfe_time_interface_cfg.h for cfe_time_interface_cfg.h
-- Using file: /home/mbonnet/cFS/cfe/modules/time/config/default_cfe_time_extern_typedefs.h for cfe_time_extern_typedefs.h
-- Using file: /home/mbonnet/cFS/cfe/modules/time/config/default_cfe_time_fcncodes.h for cfe_time_fcncodes.h
-- Using file: /home/mbonnet/cFS/cfe/modules/time/config/default_cfe_time_msgdefs.h for cfe_time_msgdefs.h
-- Using file: /home/mbonnet/cFS/cfe/modules/time/config/default_cfe_time_msg.h for cfe_time_msg.h
-- Using file: /home/mbonnet/cFS/cfe/modules/time/config/default_cfe_time_msgstruct.h for cfe_time_msgstruct.h
-- Using file: /home/mbonnet/cFS/cfe/modules/time/config/default_cfe_time_topicids.h for cfe_time_topicids.h
-- Using file: /home/mbonnet/cFS/cfe/modules/msg/option_inc/default_cfe_msg_hdr_pri.h for cfe_msg_hdr.h
-- Using file: /home/mbonnet/cFS/cfe/modules/msg/option_inc/default_cfe_msg_sechdr.h for cfe_msg_sechdr.h
-- Using file: /home/mbonnet/cFS/cfe/modules/resourceid/option_inc/cfe_resourceid_simple.h for cfe_resourceid_typedef.h
-- Configuring for system arch: native/default_cpu1
CMake Deprecation Warning at CMakeLists.txt:57 (cmake_minimum_required):
  Compatibility with CMake < 3.10 will be removed from a future version of
  CMake.

  Update the VERSION argument <min> value.  Or, use the <min>...<max> syntax
  to tell CMake that the project requires at least <min> but has been updated
  to work with policies introduced by <max> or earlier.


-- The C compiler identification is GNU 13.3.0
-- Detecting C compiler ABI info
-- Detecting C compiler ABI info - done
-- Check for working C compiler: /usr/bin/cc - skipped
-- Detecting C compile features
-- Detecting C compile features - done
-- OMIT_DEPRECATED=false: Deprecated elements included in build
-- Using file: /home/mbonnet/cFS/cfe/modules/core_api/config/default_cfe_msgids.h for msgids.h
-- Using file: /home/mbonnet/cFS/cfe/modules/core_api/config/default_cfe_core_api_base_msgids.h for cfe_core_api_base_msgids.h
-- Using file: /home/mbonnet/cFS/cfe/modules/core_private/config/default_cfe_platform_cfg.h for platform_cfg.h
-- Using file: /home/mbonnet/cFS/cfe/modules/core_private/config/default_cfe_core_private_internal_cfg.h for cfe_core_private_internal_cfg.h
-- Using file: /home/mbonnet/cFS/cfe/modules/es/config/default_cfe_es_internal_cfg.h for cfe_es_internal_cfg.h
-- Using file: /home/mbonnet/cFS/cfe/modules/es/config/default_cfe_es_msgids.h for cfe_es_msgids.h
-- Using file: /home/mbonnet/cFS/cfe/modules/es/config/default_cfe_es_platform_cfg.h for cfe_es_platform_cfg.h
-- Using file: /home/mbonnet/cFS/cfe/modules/evs/config/default_cfe_evs_internal_cfg.h for cfe_evs_internal_cfg.h
-- Using file: /home/mbonnet/cFS/cfe/modules/evs/config/default_cfe_evs_msgids.h for cfe_evs_msgids.h
-- Using file: /home/mbonnet/cFS/cfe/modules/evs/config/default_cfe_evs_platform_cfg.h for cfe_evs_platform_cfg.h
-- Using file: /home/mbonnet/cFS/cfe/modules/sb/config/default_cfe_sb_internal_cfg.h for cfe_sb_internal_cfg.h
-- Using file: /home/mbonnet/cFS/cfe/modules/sb/config/default_cfe_sb_msgids.h for cfe_sb_msgids.h
-- Using file: /home/mbonnet/cFS/cfe/modules/sb/config/default_cfe_sb_platform_cfg.h for cfe_sb_platform_cfg.h
-- Using file: /home/mbonnet/cFS/cfe/modules/tbl/config/default_cfe_tbl_internal_cfg.h for cfe_tbl_internal_cfg.h
-- Using file: /home/mbonnet/cFS/cfe/modules/tbl/config/default_cfe_tbl_msgids.h for cfe_tbl_msgids.h
-- Using file: /home/mbonnet/cFS/cfe/modules/tbl/config/default_cfe_tbl_platform_cfg.h for cfe_tbl_platform_cfg.h
-- Using file: /home/mbonnet/cFS/cfe/modules/time/config/default_cfe_time_internal_cfg.h for cfe_time_internal_cfg.h
-- Using file: /home/mbonnet/cFS/cfe/modules/time/config/default_cfe_time_msgids.h for cfe_time_msgids.h
-- Using file: /home/mbonnet/cFS/cfe/modules/time/config/default_cfe_time_platform_cfg.h for cfe_time_platform_cfg.h
CMake Deprecation Warning at /home/mbonnet/cFS/osal/CMakeLists.txt:91 (cmake_minimum_required):
  Compatibility with CMake < 3.10 will be removed from a future version of
  CMake.

  Update the VERSION argument <min> value.  Or, use the <min>...<max> syntax
  to tell CMake that the project requires at least <min> but has been updated
  to work with policies introduced by <max> or earlier.


-- BSP Selection: generic-linux at /home/mbonnet/cFS/osal/src/bsp/generic-linux
-- OSAL Selection: posix at /home/mbonnet/cFS/osal/src/os/posix
-- OSAL Compile Definitions: _XOPEN_SOURCE=600;_POSIX_OS_
-- PSP Selection: pc-linux
-- Building Core Module: core_api
-- Building Core Module: core_private
-- Building Core Module: es
-- Building Core Module: evs
-- Building Core Module: fs
-- Building Core Module: sb
-- Building Core Module: tbl
-- Building Core Module: time
-- Building Core Module: psp
-- Building Core Module: msg
-- CCSDS primary header included in message header (not including CCSDS extended header)
-- Message Id version 1 in use (MsgId V1)
-- Building Core Module: sbr
-- Using direct map software bus routing implementation
-- Building Core Module: resourceid
-- Building Core Module: config
-- Building Dynamic App: ci_lab targets=cpu1
CMake Deprecation Warning at /home/mbonnet/cFS/apps/ci_lab/CMakeLists.txt:1 (cmake_minimum_required):
  Compatibility with CMake < 3.10 will be removed from a future version of
  CMake.

  Update the VERSION argument <min> value.  Or, use the <min>...<max> syntax
  to tell CMake that the project requires at least <min> but has been updated
  to work with policies introduced by <max> or earlier.


-- Building Dynamic App: to_lab targets=cpu1
CMake Deprecation Warning at /home/mbonnet/cFS/apps/to_lab/CMakeLists.txt:1 (cmake_minimum_required):
  Compatibility with CMake < 3.10 will be removed from a future version of
  CMake.

  Update the VERSION argument <min> value.  Or, use the <min>...<max> syntax
  to tell CMake that the project requires at least <min> but has been updated
  to work with policies introduced by <max> or earlier.


-- Using file: /home/mbonnet/cFS/apps/to_lab/fsw/tables/to_lab_sub.c for to_lab_sub.c
-- Using /home/mbonnet/cFS/apps/to_lab/fsw/tables/to_lab_sub.c as table definition for to_lab_sub on cpu1
CMake Warning (dev) at cmake/arch_build.cmake:307 (add_custom_command):
  Keyword WORKING_DIRECTORY requires a value, but none was given.

  Policy CMP0175 is not set: add_custom_command() rejects invalid arguments.
  Run "cmake --help-policy CMP0175" for policy details.  Use the cmake_policy
  command to set the policy and suppress this warning.
Call Stack (most recent call first):
  /home/mbonnet/cFS/apps/to_lab/CMakeLists.txt:25 (add_cfe_tables)
This warning is for project developers.  Use -Wno-dev to suppress it.

-- Building Dynamic App: sch_lab targets=cpu1
CMake Deprecation Warning at /home/mbonnet/cFS/apps/sch_lab/CMakeLists.txt:1 (cmake_minimum_required):
  Compatibility with CMake < 3.10 will be removed from a future version of
  CMake.

  Update the VERSION argument <min> value.  Or, use the <min>...<max> syntax
  to tell CMake that the project requires at least <min> but has been updated
  to work with policies introduced by <max> or earlier.


-- Using file: /home/mbonnet/cFS/apps/sch_lab/fsw/tables/sch_lab_table.c for sch_lab_table.c
-- Using /home/mbonnet/cFS/apps/sch_lab/fsw/tables/sch_lab_table.c as table definition for sch_lab_table on cpu1
CMake Warning (dev) at cmake/arch_build.cmake:307 (add_custom_command):
  Keyword WORKING_DIRECTORY requires a value, but none was given.

  Policy CMP0175 is not set: add_custom_command() rejects invalid arguments.
  Run "cmake --help-policy CMP0175" for policy details.  Use the cmake_policy
  command to set the policy and suppress this warning.
Call Stack (most recent call first):
  /home/mbonnet/cFS/apps/sch_lab/CMakeLists.txt:19 (add_cfe_tables)
This warning is for project developers.  Use -Wno-dev to suppress it.

-- Building Dynamic App: cfe_assert targets=cpu1
-- Building Dynamic App: sample_app targets=cpu1
-- Using file: /home/mbonnet/cFS/apps/sample_app/fsw/tables/sample_app_tbl.c for sample_app_tbl.c
-- Using /home/mbonnet/cFS/apps/sample_app/fsw/tables/sample_app_tbl.c as table definition for sample_app_tbl on cpu1
CMake Warning (dev) at cmake/arch_build.cmake:307 (add_custom_command):
  Keyword WORKING_DIRECTORY requires a value, but none was given.

  Policy CMP0175 is not set: add_custom_command() rejects invalid arguments.
  Run "cmake --help-policy CMP0175" for policy details.  Use the cmake_policy
  command to set the policy and suppress this warning.
Call Stack (most recent call first):
  /home/mbonnet/cFS/apps/sample_app/CMakeLists.txt:11 (add_cfe_tables)
This warning is for project developers.  Use -Wno-dev to suppress it.

-- Building Dynamic App: sample_lib targets=cpu1
NOTE: Selected /home/mbonnet/cFS/sample_defs/cpu1_cfe_es_startup.scr as source for cfe_es_startup.scr on cpu1
-- Configuring done (0.2s)
-- Generating done (0.1s)
-- Build files have been written to: /home/mbonnet/cFS/build/native/default_cpu1
-- Configuring done (0.4s)
-- Generating done (0.0s)
-- Build files have been written to: /home/mbonnet/cFS/build
echo "-DCMAKE_INSTALL_PREFIX=/exe -DCMAKE_BUILD_TYPE=debug" > "build/.prep"

mbonnet@workstation:~/cFS$ make
make --no-print-directory -C "build" mission-all
[ 50%] Building C object tools/elf2cfetbl/CMakeFiles/elf2cfetbl.dir/elf2cfetbl.c.o
[100%] Linking C executable elf2cfetbl
[100%] Built target elf2cfetbl
[100%] Built target cfe-build-env
inside get_version for MISSION
inside get_version for core_api
inside get_version for core_private
inside get_version for ci_lab
inside get_version for to_lab
inside get_version for sch_lab
inside get_version for cfe_assert
inside get_version for sample_app
inside get_version for sample_lib
inside get_version for es
inside get_version for evs
inside get_version for fs
inside get_version for sb
inside get_version for tbl
inside get_version for time
inside get_version for osal
inside get_version for psp
inside get_version for msg
inside get_version for sbr
inside get_version for resourceid
inside get_version for config
[100%] Built target cfe-module-version
[100%] Built target mission-version
[100%] Built target mission-prebuild
[  0%] Building C object osal/generic-linux_impl/CMakeFiles/osal_generic-linux_impl.dir/src/bsp_start.c.o
[  0%] Building C object osal/generic-linux_impl/CMakeFiles/osal_generic-linux_impl.dir/src/bsp_console.c.o
[  0%] Built target osal_generic-linux_impl
[  1%] Building C object osal/CMakeFiles/osal_bsp.dir/src/bsp/shared/src/osapi-bsp.c.o
[  1%] Building C object osal/CMakeFiles/osal_bsp.dir/src/bsp/shared/src/bsp_default_app_run.c.o
[  2%] Building C object osal/CMakeFiles/osal_bsp.dir/src/bsp/shared/src/bsp_default_app_startup.c.o
[  2%] Building C object osal/CMakeFiles/osal_bsp.dir/src/bsp/shared/src/bsp_default_symtab.c.o
[  2%] Building C object osal/CMakeFiles/osal_bsp.dir/src/bsp/shared/src/bsp_default_resourcecfg.c.o
[  3%] Linking C static library libosal_bsp.a
[  3%] Built target osal_bsp
[  4%] Building C object osal/posix_impl/CMakeFiles/osal_posix_impl.dir/src/os-impl-binsem.c.o
[  4%] Building C object osal/posix_impl/CMakeFiles/osal_posix_impl.dir/src/os-impl-common.c.o
[  4%] Building C object osal/posix_impl/CMakeFiles/osal_posix_impl.dir/src/os-impl-console.c.o
[  6%] Building C object osal/posix_impl/CMakeFiles/osal_posix_impl.dir/src/os-impl-condvar.c.o
[  6%] Building C object osal/posix_impl/CMakeFiles/osal_posix_impl.dir/src/os-impl-countsem.c.o
[  6%] Building C object osal/posix_impl/CMakeFiles/osal_posix_impl.dir/src/os-impl-dirs.c.o
[  7%] Building C object osal/posix_impl/CMakeFiles/osal_posix_impl.dir/src/os-impl-errors.c.o
[  7%] Building C object osal/posix_impl/CMakeFiles/osal_posix_impl.dir/src/os-impl-files.c.o
[  7%] Building C object osal/posix_impl/CMakeFiles/osal_posix_impl.dir/src/os-impl-filesys.c.o
[  8%] Building C object osal/posix_impl/CMakeFiles/osal_posix_impl.dir/src/os-impl-heap.c.o
[  8%] Building C object osal/posix_impl/CMakeFiles/osal_posix_impl.dir/src/os-impl-idmap.c.o
[  9%] Building C object osal/posix_impl/CMakeFiles/osal_posix_impl.dir/src/os-impl-mutex.c.o
[  9%] Building C object osal/posix_impl/CMakeFiles/osal_posix_impl.dir/src/os-impl-queues.c.o
[  9%] Building C object osal/posix_impl/CMakeFiles/osal_posix_impl.dir/src/os-impl-tasks.c.o
[ 10%] Building C object osal/posix_impl/CMakeFiles/osal_posix_impl.dir/src/os-impl-timebase.c.o
[ 10%] Building C object osal/posix_impl/CMakeFiles/osal_posix_impl.dir/home/mbonnet/cFS/osal/src/os/portable/os-impl-posix-gettime.c.o
[ 10%] Building C object osal/posix_impl/CMakeFiles/osal_posix_impl.dir/home/mbonnet/cFS/osal/src/os/portable/os-impl-console-bsp.c.o
[ 12%] Building C object osal/posix_impl/CMakeFiles/osal_posix_impl.dir/home/mbonnet/cFS/osal/src/os/portable/os-impl-bsd-select.c.o
[ 12%] Building C object osal/posix_impl/CMakeFiles/osal_posix_impl.dir/home/mbonnet/cFS/osal/src/os/portable/os-impl-posix-io.c.o
[ 12%] Building C object osal/posix_impl/CMakeFiles/osal_posix_impl.dir/home/mbonnet/cFS/osal/src/os/portable/os-impl-posix-files.c.o
[ 13%] Building C object osal/posix_impl/CMakeFiles/osal_posix_impl.dir/home/mbonnet/cFS/osal/src/os/portable/os-impl-posix-dirs.c.o
[ 13%] Building C object osal/posix_impl/CMakeFiles/osal_posix_impl.dir/home/mbonnet/cFS/osal/src/os/portable/os-impl-no-shell.c.o
[ 13%] Building C object osal/posix_impl/CMakeFiles/osal_posix_impl.dir/src/os-impl-loader.c.o
[ 14%] Building C object osal/posix_impl/CMakeFiles/osal_posix_impl.dir/home/mbonnet/cFS/osal/src/os/portable/os-impl-posix-dl-loader.c.o
[ 14%] Building C object osal/posix_impl/CMakeFiles/osal_posix_impl.dir/home/mbonnet/cFS/osal/src/os/portable/os-impl-posix-dl-symtab.c.o
[ 14%] Building C object osal/posix_impl/CMakeFiles/osal_posix_impl.dir/home/mbonnet/cFS/osal/src/os/portable/os-impl-bsd-sockets.c.o
[ 15%] Building C object osal/posix_impl/CMakeFiles/osal_posix_impl.dir/home/mbonnet/cFS/osal/src/os/portable/os-impl-posix-network.c.o
[ 15%] Built target osal_posix_impl
[ 15%] Building C object osal/CMakeFiles/osal.dir/src/os/shared/src/osapi-binsem.c.o
[ 15%] Building C object osal/CMakeFiles/osal.dir/src/os/shared/src/osapi-clock.c.o
[ 16%] Building C object osal/CMakeFiles/osal.dir/src/os/shared/src/osapi-common.c.o
[ 16%] Building C object osal/CMakeFiles/osal.dir/src/os/shared/src/osapi-condvar.c.o
[ 16%] Building C object osal/CMakeFiles/osal.dir/src/os/shared/src/osapi-countsem.c.o
[ 18%] Building C object osal/CMakeFiles/osal.dir/src/os/shared/src/osapi-dir.c.o
[ 18%] Building C object osal/CMakeFiles/osal.dir/src/os/shared/src/osapi-errors.c.o
[ 18%] Building C object osal/CMakeFiles/osal.dir/src/os/shared/src/osapi-file.c.o
[ 19%] Building C object osal/CMakeFiles/osal.dir/src/os/shared/src/osapi-filesys.c.o
[ 19%] Building C object osal/CMakeFiles/osal.dir/src/os/shared/src/osapi-heap.c.o
[ 20%] Building C object osal/CMakeFiles/osal.dir/src/os/shared/src/osapi-idmap.c.o
[ 20%] Building C object osal/CMakeFiles/osal.dir/src/os/shared/src/osapi-module.c.o
[ 20%] Building C object osal/CMakeFiles/osal.dir/src/os/shared/src/osapi-mutex.c.o
[ 21%] Building C object osal/CMakeFiles/osal.dir/src/os/shared/src/osapi-network.c.o
[ 21%] Building C object osal/CMakeFiles/osal.dir/src/os/shared/src/osapi-printf.c.o
[ 21%] Building C object osal/CMakeFiles/osal.dir/src/os/shared/src/osapi-queue.c.o
[ 22%] Building C object osal/CMakeFiles/osal.dir/src/os/shared/src/osapi-select.c.o
[ 22%] Building C object osal/CMakeFiles/osal.dir/src/os/shared/src/osapi-shell.c.o
[ 22%] Building C object osal/CMakeFiles/osal.dir/src/os/shared/src/osapi-sockets.c.o
[ 24%] Building C object osal/CMakeFiles/osal.dir/src/os/shared/src/osapi-task.c.o
[ 24%] Building C object osal/CMakeFiles/osal.dir/src/os/shared/src/osapi-timebase.c.o
[ 24%] Building C object osal/CMakeFiles/osal.dir/src/os/shared/src/osapi-time.c.o
[ 25%] Building C object osal/CMakeFiles/osal.dir/src/os/shared/src/osapi-version.c.o
[ 25%] Building C object osal/CMakeFiles/osal.dir/src/os/shared/src/osapi-debug.c.o
[ 25%] Linking C static library libosal.a
[ 25%] Built target osal
[ 25%] Building C object osal/ut_assert/CMakeFiles/ut_assert.dir/src/utassert.c.o
[ 25%] Building C object osal/ut_assert/CMakeFiles/ut_assert.dir/src/utlist.c.o
[ 26%] Building C object osal/ut_assert/CMakeFiles/ut_assert.dir/src/utstubs.c.o
[ 26%] Building C object osal/ut_assert/CMakeFiles/ut_assert.dir/src/uttest.c.o
[ 27%] Building C object osal/ut_assert/CMakeFiles/ut_assert.dir/src/uttools.c.o
[ 27%] Building C object osal/ut_assert/CMakeFiles/ut_assert.dir/src/utbsp.c.o
[ 27%] Linking C static library libut_assert.a
[ 27%] Built target ut_assert
[ 27%] Building C object osal/ut-stubs/CMakeFiles/ut_osapi_stubs.dir/utstub-helpers.c.o
[ 28%] Building C object osal/ut-stubs/CMakeFiles/ut_osapi_stubs.dir/osapi-binsem-stubs.c.o
[ 28%] Building C object osal/ut-stubs/CMakeFiles/ut_osapi_stubs.dir/osapi-binsem-handlers.c.o
[ 28%] Building C object osal/ut-stubs/CMakeFiles/ut_osapi_stubs.dir/osapi-clock-stubs.c.o
[ 30%] Building C object osal/ut-stubs/CMakeFiles/ut_osapi_stubs.dir/osapi-clock-handlers.c.o
[ 30%] Building C object osal/ut-stubs/CMakeFiles/ut_osapi_stubs.dir/osapi-common-stubs.c.o
[ 30%] Building C object osal/ut-stubs/CMakeFiles/ut_osapi_stubs.dir/osapi-condvar-stubs.c.o
[ 31%] Building C object osal/ut-stubs/CMakeFiles/ut_osapi_stubs.dir/osapi-countsem-stubs.c.o
[ 31%] Building C object osal/ut-stubs/CMakeFiles/ut_osapi_stubs.dir/osapi-countsem-handlers.c.o
[ 32%] Building C object osal/ut-stubs/CMakeFiles/ut_osapi_stubs.dir/osapi-dir-stubs.c.o
[ 32%] Building C object osal/ut-stubs/CMakeFiles/ut_osapi_stubs.dir/osapi-dir-handlers.c.o
[ 32%] Building C object osal/ut-stubs/CMakeFiles/ut_osapi_stubs.dir/osapi-error-stubs.c.o
[ 33%] Building C object osal/ut-stubs/CMakeFiles/ut_osapi_stubs.dir/osapi-error-handlers.c.o
[ 33%] Building C object osal/ut-stubs/CMakeFiles/ut_osapi_stubs.dir/osapi-file-stubs.c.o
[ 33%] Building C object osal/ut-stubs/CMakeFiles/ut_osapi_stubs.dir/osapi-file-handlers.c.o
[ 34%] Building C object osal/ut-stubs/CMakeFiles/ut_osapi_stubs.dir/osapi-filesys-stubs.c.o
[ 34%] Building C object osal/ut-stubs/CMakeFiles/ut_osapi_stubs.dir/osapi-filesys-handlers.c.o
[ 34%] Building C object osal/ut-stubs/CMakeFiles/ut_osapi_stubs.dir/osapi-heap-stubs.c.o
[ 36%] Building C object osal/ut-stubs/CMakeFiles/ut_osapi_stubs.dir/osapi-heap-handlers.c.o
[ 36%] Building C object osal/ut-stubs/CMakeFiles/ut_osapi_stubs.dir/osapi-idmap-stubs.c.o
[ 36%] Building C object osal/ut-stubs/CMakeFiles/ut_osapi_stubs.dir/osapi-idmap-handlers.c.o
[ 37%] Building C object osal/ut-stubs/CMakeFiles/ut_osapi_stubs.dir/osapi-module-stubs.c.o
[ 37%] Building C object osal/ut-stubs/CMakeFiles/ut_osapi_stubs.dir/osapi-module-handlers.c.o
[ 37%] Building C object osal/ut-stubs/CMakeFiles/ut_osapi_stubs.dir/osapi-mutex-stubs.c.o
[ 38%] Building C object osal/ut-stubs/CMakeFiles/ut_osapi_stubs.dir/osapi-mutex-handlers.c.o
[ 38%] Building C object osal/ut-stubs/CMakeFiles/ut_osapi_stubs.dir/osapi-network-stubs.c.o
[ 39%] Building C object osal/ut-stubs/CMakeFiles/ut_osapi_stubs.dir/osapi-network-handlers.c.o
[ 39%] Building C object osal/ut-stubs/CMakeFiles/ut_osapi_stubs.dir/osapi-printf-stubs.c.o
[ 39%] Building C object osal/ut-stubs/CMakeFiles/ut_osapi_stubs.dir/osapi-printf-handlers.c.o
[ 40%] Building C object osal/ut-stubs/CMakeFiles/ut_osapi_stubs.dir/osapi-queue-stubs.c.o
[ 40%] Building C object osal/ut-stubs/CMakeFiles/ut_osapi_stubs.dir/osapi-queue-handlers.c.o
[ 40%] Building C object osal/ut-stubs/CMakeFiles/ut_osapi_stubs.dir/osapi-select-stubs.c.o
[ 42%] Building C object osal/ut-stubs/CMakeFiles/ut_osapi_stubs.dir/osapi-shell-stubs.c.o
[ 42%] Building C object osal/ut-stubs/CMakeFiles/ut_osapi_stubs.dir/osapi-sockets-stubs.c.o
[ 42%] Building C object osal/ut-stubs/CMakeFiles/ut_osapi_stubs.dir/osapi-sockets-handlers.c.o
[ 43%] Building C object osal/ut-stubs/CMakeFiles/ut_osapi_stubs.dir/osapi-task-stubs.c.o
[ 43%] Building C object osal/ut-stubs/CMakeFiles/ut_osapi_stubs.dir/osapi-task-handlers.c.o
[ 43%] Building C object osal/ut-stubs/CMakeFiles/ut_osapi_stubs.dir/osapi-timer-stubs.c.o
[ 44%] Building C object osal/ut-stubs/CMakeFiles/ut_osapi_stubs.dir/osapi-timer-handlers.c.o
[ 44%] Building C object osal/ut-stubs/CMakeFiles/ut_osapi_stubs.dir/osapi-timebase-stubs.c.o
[ 44%] Building C object osal/ut-stubs/CMakeFiles/ut_osapi_stubs.dir/osapi-timebase-handlers.c.o
[ 45%] Building C object osal/ut-stubs/CMakeFiles/ut_osapi_stubs.dir/osapi-version-stubs.c.o
[ 45%] Building C object osal/ut-stubs/CMakeFiles/ut_osapi_stubs.dir/osapi-version-handlers.c.o
[ 46%] Linking C static library libut_osapi_stubs.a
[ 46%] Built target ut_osapi_stubs
[ 46%] Building C object es/CMakeFiles/es.dir/fsw/src/cfe_es_api.c.o
[ 46%] Building C object es/CMakeFiles/es.dir/fsw/src/cfe_es_apps.c.o
[ 48%] Building C object es/CMakeFiles/es.dir/fsw/src/cfe_es_backgroundtask.c.o
[ 48%] Building C object es/CMakeFiles/es.dir/fsw/src/cfe_es_cds.c.o
[ 48%] Building C object es/CMakeFiles/es.dir/fsw/src/cfe_es_cds_mempool.c.o
[ 49%] Building C object es/CMakeFiles/es.dir/fsw/src/cfe_es_dispatch.c.o
[ 49%] Building C object es/CMakeFiles/es.dir/fsw/src/cfe_es_erlog.c.o
[ 50%] Building C object es/CMakeFiles/es.dir/fsw/src/cfe_es_generic_pool.c.o
[ 50%] Building C object es/CMakeFiles/es.dir/fsw/src/cfe_es_mempool.c.o
[ 50%] Building C object es/CMakeFiles/es.dir/fsw/src/cfe_es_objtab.c.o
[ 51%] Building C object es/CMakeFiles/es.dir/fsw/src/cfe_es_perf.c.o
[ 51%] Building C object es/CMakeFiles/es.dir/fsw/src/cfe_es_resource.c.o
[ 51%] Building C object es/CMakeFiles/es.dir/fsw/src/cfe_es_start.c.o
[ 53%] Building C object es/CMakeFiles/es.dir/fsw/src/cfe_es_syslog.c.o
[ 53%] Building C object es/CMakeFiles/es.dir/fsw/src/cfe_es_task.c.o
[ 53%] Linking C static library libes.a
[ 53%] Built target es
[ 54%] Building C object evs/CMakeFiles/evs.dir/fsw/src/cfe_evs.c.o
[ 54%] Building C object evs/CMakeFiles/evs.dir/fsw/src/cfe_evs_log.c.o
[ 54%] Building C object evs/CMakeFiles/evs.dir/fsw/src/cfe_evs_task.c.o
[ 55%] Building C object evs/CMakeFiles/evs.dir/fsw/src/cfe_evs_utils.c.o
[ 55%] Building C object evs/CMakeFiles/evs.dir/fsw/src/cfe_evs_dispatch.c.o
[ 56%] Linking C static library libevs.a
[ 56%] Built target evs
[ 56%] Building C object fs/CMakeFiles/fs.dir/fsw/src/cfe_fs_api.c.o
[ 56%] Building C object fs/CMakeFiles/fs.dir/fsw/src/cfe_fs_priv.c.o
[ 57%] Linking C static library libfs.a
[ 57%] Built target fs
[ 59%] Building C object sb/CMakeFiles/sb.dir/fsw/src/cfe_sb_api.c.o
[ 59%] Building C object sb/CMakeFiles/sb.dir/fsw/src/cfe_sb_buf.c.o
[ 59%] Building C object sb/CMakeFiles/sb.dir/fsw/src/cfe_sb_init.c.o
[ 60%] Building C object sb/CMakeFiles/sb.dir/fsw/src/cfe_sb_msg_id_util.c.o
[ 60%] Building C object sb/CMakeFiles/sb.dir/fsw/src/cfe_sb_priv.c.o
[ 60%] Building C object sb/CMakeFiles/sb.dir/fsw/src/cfe_sb_dispatch.c.o
[ 61%] Building C object sb/CMakeFiles/sb.dir/fsw/src/cfe_sb_task.c.o
[ 61%] Building C object sb/CMakeFiles/sb.dir/fsw/src/cfe_sb_util.c.o
[ 61%] Linking C static library libsb.a
[ 61%] Built target sb
[ 61%] Building C object tbl/CMakeFiles/tbl.dir/fsw/src/cfe_tbl_api.c.o
[ 62%] Building C object tbl/CMakeFiles/tbl.dir/fsw/src/cfe_tbl_internal.c.o
[ 62%] Building C object tbl/CMakeFiles/tbl.dir/fsw/src/cfe_tbl_task.c.o
[ 62%] Building C object tbl/CMakeFiles/tbl.dir/fsw/src/cfe_tbl_task_cmds.c.o
[ 63%] Building C object tbl/CMakeFiles/tbl.dir/fsw/src/cfe_tbl_dispatch.c.o
[ 63%] Linking C static library libtbl.a
[ 63%] Built target tbl
[ 65%] Building C object time/CMakeFiles/time.dir/fsw/src/cfe_time_api.c.o
[ 65%] Building C object time/CMakeFiles/time.dir/fsw/src/cfe_time_task.c.o
[ 65%] Building C object time/CMakeFiles/time.dir/fsw/src/cfe_time_tone.c.o
[ 66%] Building C object time/CMakeFiles/time.dir/fsw/src/cfe_time_utils.c.o
[ 66%] Building C object time/CMakeFiles/time.dir/fsw/src/cfe_time_dispatch.c.o
[ 66%] Linking C static library libtime.a
[ 66%] Built target time
[ 67%] Building C object psp/linux_sysmon-pc-linux-impl/CMakeFiles/linux_sysmon.dir/linux_sysmon.c.o
[ 67%] Linking C static library liblinux_sysmon.a
[ 67%] Built target linux_sysmon
[ 68%] Building C object psp/pc-linux-impl/CMakeFiles/psp-pc-linux-impl.dir/src/cfe_psp_exception.c.o
[ 68%] Building C object psp/pc-linux-impl/CMakeFiles/psp-pc-linux-impl.dir/src/cfe_psp_memory.c.o
[ 68%] Building C object psp/pc-linux-impl/CMakeFiles/psp-pc-linux-impl.dir/src/cfe_psp_ssr.c.o
[ 69%] Building C object psp/pc-linux-impl/CMakeFiles/psp-pc-linux-impl.dir/src/cfe_psp_start.c.o
[ 69%] Building C object psp/pc-linux-impl/CMakeFiles/psp-pc-linux-impl.dir/src/cfe_psp_support.c.o
[ 69%] Building C object psp/pc-linux-impl/CMakeFiles/psp-pc-linux-impl.dir/src/cfe_psp_watchdog.c.o
[ 69%] Built target psp-pc-linux-impl
[ 71%] Building C object psp/pc-linux-shared/CMakeFiles/psp-pc-linux-shared.dir/src/cfe_psp_error.c.o
[ 71%] Building C object psp/pc-linux-shared/CMakeFiles/psp-pc-linux-shared.dir/src/cfe_psp_exceptionstorage.c.o
[ 71%] Building C object psp/pc-linux-shared/CMakeFiles/psp-pc-linux-shared.dir/src/cfe_psp_memrange.c.o
[ 72%] Building C object psp/pc-linux-shared/CMakeFiles/psp-pc-linux-shared.dir/src/cfe_psp_memutils.c.o
[ 72%] Building C object psp/pc-linux-shared/CMakeFiles/psp-pc-linux-shared.dir/src/cfe_psp_module.c.o
[ 72%] Building C object psp/pc-linux-shared/CMakeFiles/psp-pc-linux-shared.dir/src/cfe_psp_version.c.o
[ 72%] Built target psp-pc-linux-shared
[ 73%] Building C object psp/soft_timebase-pc-linux-impl/CMakeFiles/soft_timebase.dir/cfe_psp_soft_timebase.c.o
[ 73%] Linking C static library libsoft_timebase.a
[ 73%] Built target soft_timebase
[ 74%] Building C object psp/timebase_posix_clock-pc-linux-impl/CMakeFiles/timebase_posix_clock.dir/cfe_psp_timebase_posix_clock.c.o
[ 74%] Linking C static library libtimebase_posix_clock.a
[ 74%] Built target timebase_posix_clock
[ 74%] Building C object psp/eeprom_mmap_file-pc-linux-impl/CMakeFiles/eeprom_mmap_file.dir/cfe_psp_eeprom_mmap_file.c.o
[ 75%] Linking C static library libeeprom_mmap_file.a
[ 75%] Built target eeprom_mmap_file
[ 77%] Building C object psp/ram_notimpl-pc-linux-impl/CMakeFiles/ram_notimpl.dir/cfe_psp_ram_notimpl.c.o
[ 77%] Linking C static library libram_notimpl.a
[ 77%] Built target ram_notimpl
[ 77%] Building C object psp/port_notimpl-pc-linux-impl/CMakeFiles/port_notimpl.dir/cfe_psp_port_notimpl.c.o
[ 77%] Linking C static library libport_notimpl.a
[ 77%] Built target port_notimpl
[ 77%] Building C object psp/iodriver-pc-linux-impl/CMakeFiles/iodriver.dir/src/iodriver.c.o
[ 77%] Linking C static library libiodriver.a
[ 77%] Built target iodriver
[ 78%] Building C object psp/CMakeFiles/psp-pc-linux.dir/pc-linux_module_list.c.o
[ 78%] Linking C static library libpsp-pc-linux.a
[ 78%] Built target psp-pc-linux
[ 78%] Building C object msg/CMakeFiles/msg.dir/fsw/src/cfe_msg_ccsdspri.c.o
[ 79%] Building C object msg/CMakeFiles/msg.dir/fsw/src/cfe_msg_init.c.o
[ 79%] Building C object msg/CMakeFiles/msg.dir/fsw/src/cfe_msg_verify.c.o
[ 79%] Building C object msg/CMakeFiles/msg.dir/fsw/src/cfe_msg_msgid_shared.c.o
[ 80%] Building C object msg/CMakeFiles/msg.dir/fsw/src/cfe_msg_sechdr_checksum.c.o
[ 80%] Building C object msg/CMakeFiles/msg.dir/fsw/src/cfe_msg_sechdr_fc.c.o
[ 81%] Building C object msg/CMakeFiles/msg.dir/fsw/src/cfe_msg_sechdr_time.c.o
[ 81%] Building C object msg/CMakeFiles/msg.dir/fsw/src/cfe_msg_initdefaulthdr_pri.c.o
[ 81%] Building C object msg/CMakeFiles/msg.dir/fsw/src/cfe_msg_msgid_v1.c.o
[ 83%] Linking C static library libmsg.a
[ 83%] Built target msg
[ 84%] Building C object sbr/CMakeFiles/sbr.dir/fsw/src/cfe_sbr_map_direct.c.o
[ 84%] Building C object sbr/CMakeFiles/sbr.dir/fsw/src/cfe_sbr_route_unsorted.c.o
[ 85%] Linking C static library libsbr.a
[ 85%] Built target sbr
[ 85%] Building C object resourceid/CMakeFiles/resourceid.dir/fsw/src/cfe_resourceid_api.c.o
[ 86%] Linking C static library libresourceid.a
[ 86%] Built target resourceid
[ 86%] Building C object config/CMakeFiles/config.dir/fsw/src/cfe_config_init.c.o
[ 86%] Building C object config/CMakeFiles/config.dir/fsw/src/cfe_config_lookup.c.o
[ 87%] Building C object config/CMakeFiles/config.dir/fsw/src/cfe_config_get.c.o
[ 87%] Building C object config/CMakeFiles/config.dir/fsw/src/cfe_config_set.c.o
[ 87%] Building C object config/CMakeFiles/config.dir/home/mbonnet/cFS/build/src/cfe_config_map.c.o
[ 89%] Linking C static library libconfig.a
[ 89%] Built target config
[ 89%] Building C object apps/ci_lab/CMakeFiles/ci_lab.dir/fsw/src/ci_lab_app.c.o
[ 90%] Linking C shared module ci_lab.so
[ 90%] Built target ci_lab
[ 90%] Building C object apps/to_lab/CMakeFiles/to_lab.dir/fsw/src/to_lab_app.c.o
[ 91%] Linking C shared module to_lab.so
[ 91%] Built target to_lab
[ 91%] Building C object apps/sch_lab/CMakeFiles/sch_lab.dir/fsw/src/sch_lab_app.c.o
[ 91%] Linking C shared module sch_lab.so
[ 91%] Built target sch_lab
[ 92%] Building C object osal/ut_assert/CMakeFiles/ut_assert_pic.dir/src/utassert.c.o
[ 92%] Building C object osal/ut_assert/CMakeFiles/ut_assert_pic.dir/src/utlist.c.o
[ 92%] Building C object osal/ut_assert/CMakeFiles/ut_assert_pic.dir/src/utstubs.c.o
[ 93%] Building C object osal/ut_assert/CMakeFiles/ut_assert_pic.dir/src/uttest.c.o
[ 93%] Building C object osal/ut_assert/CMakeFiles/ut_assert_pic.dir/src/uttools.c.o
[ 93%] Built target ut_assert_pic
[ 93%] Building C object apps/cfe_assert/CMakeFiles/cfe_assert.dir/src/cfe_assert_io.c.o
[ 93%] Building C object apps/cfe_assert/CMakeFiles/cfe_assert.dir/src/cfe_assert_init.c.o
[ 95%] Building C object apps/cfe_assert/CMakeFiles/cfe_assert.dir/src/cfe_assert_runner.c.o
[ 95%] Linking C shared module cfe_assert.so
[ 95%] Built target cfe_assert
[ 95%] Building C object apps/sample_app/CMakeFiles/sample_app.dir/fsw/src/sample_app.c.o
[ 96%] Linking C shared module sample_app.so
[ 96%] Built target sample_app
[ 96%] Building C object apps/sample_lib/CMakeFiles/sample_lib.dir/fsw/src/sample_lib.c.o
[ 96%] Linking C shared module sample_lib.so
[ 96%] Built target sample_lib
[ 96%] Generating cfe_module_version_table.c
[ 96%] Generating cfe_build_env_table.c
[ 97%] Building C object cpu1/CMakeFiles/core-cpu1.dir/home/mbonnet/cFS/build/src/cfe_mission_strings.c.o
[ 97%] Building C object cpu1/CMakeFiles/core-cpu1.dir/cfe_module_version_table.c.o
[ 97%] Building C object cpu1/CMakeFiles/core-cpu1.dir/cfe_build_env_table.c.o
[ 98%] Building C object cpu1/CMakeFiles/core-cpu1.dir/cfe_psp_module_list.c.o
[ 98%] Building C object cpu1/CMakeFiles/core-cpu1.dir/cfe_static_symbol_list.c.o
[100%] Building C object cpu1/CMakeFiles/core-cpu1.dir/cfe_static_module_list.c.o
[100%] Building C object cpu1/CMakeFiles/core-cpu1.dir/src/target_config.c.o
[100%] Linking C executable core-cpu1
[100%] Built target core-cpu1
[100%] Built target native_default_cpu1-all
[  0%] Building C object apps/sample_app/CMakeFiles/tblobj_cpu1_sample_app.tbl604bf6a0b2508bb408652bef44ae03b9d6b94a22.dir/fsw/tables/sample_app_tbl.c.o
[ 33%] Linking C static library libtblobj_cpu1_sample_app.tbl604bf6a0b2508bb408652bef44ae03b9d6b94a22.a
[ 33%] Built target tblobj_cpu1_sample_app.tbl604bf6a0b2508bb408652bef44ae03b9d6b94a22
[ 33%] Generating /home/mbonnet/cFS/build/tables/cpu1_sample_app.tbl604bf6a0b2508bb408652bef44ae03b9d6b94a22.sample_app_tbl.d
[ 33%] Built target generate_table_cpu1_sample_app_sample_app_tbl
[ 33%] Building C object apps/to_lab/CMakeFiles/tblobj_cpu1_to_lab.tblf247a471ffe43eaba1f6484d50e482437ecf0fca.dir/fsw/tables/to_lab_sub.c.o
[ 33%] Linking C static library libtblobj_cpu1_to_lab.tblf247a471ffe43eaba1f6484d50e482437ecf0fca.a
[ 33%] Built target tblobj_cpu1_to_lab.tblf247a471ffe43eaba1f6484d50e482437ecf0fca
[ 66%] Generating /home/mbonnet/cFS/build/tables/cpu1_to_lab.tblf247a471ffe43eaba1f6484d50e482437ecf0fca.to_lab_sub.d
[ 66%] Built target generate_table_cpu1_to_lab_to_lab_sub
[ 66%] Building C object apps/sch_lab/CMakeFiles/tblobj_cpu1_sch_lab.tbld324da2be59135a5ec94f0b40084781e3897458f.dir/fsw/tables/sch_lab_table.c.o
[100%] Linking C static library libtblobj_cpu1_sch_lab.tbld324da2be59135a5ec94f0b40084781e3897458f.a
[100%] Built target tblobj_cpu1_sch_lab.tbld324da2be59135a5ec94f0b40084781e3897458f
[100%] Generating /home/mbonnet/cFS/build/tables/cpu1_sch_lab.tbld324da2be59135a5ec94f0b40084781e3897458f.sch_lab_table.d
[100%] Built target generate_table_cpu1_sch_lab_sch_lab_table
[100%] Built target cfetables
[100%] Built target native_default_cpu1-cfetables
[100%] Built target mission-cfetables
mkdir: created directory 'elf'
mkdir: created directory 'elf/cpu1/'
mkdir: created directory 'staging'
mkdir: created directory 'staging/cpu1'
mkdir: created directory 'staging/cpu1/cf/'
Table build completed
[100%] Built target tabletool-execute
[ 14%] Building C object tools/cFS-GroundSystem/Subsystems/cmdUtil/CMakeFiles/cmdUtil.dir/cmdUtil.c.o
[ 28%] Building C object tools/cFS-GroundSystem/Subsystems/cmdUtil/CMakeFiles/cmdUtil.dir/SendUdp.c.o
[ 42%] Linking C executable cmdUtil
[ 42%] Built target cmdUtil
[ 71%] Built target elf2cfetbl
[ 85%] Building C object tools/tblCRCTool/CMakeFiles/cfe_ts_crc.dir/cfe_ts_crc.c.o
[100%] Linking C executable cfe_ts_crc
[100%] Built target cfe_ts_crc
Built target mission-all

mbonnet@workstation:~/cFS$ make install
make --no-print-directory -C "build" DESTDIR="/home/mbonnet/cFS/build" mission-install
[100%] Built target elf2cfetbl
[100%] Built target cfe-build-env
inside get_version for MISSION
inside get_version for core_api
inside get_version for core_private
inside get_version for ci_lab
inside get_version for to_lab
inside get_version for sch_lab
inside get_version for cfe_assert
inside get_version for sample_app
inside get_version for sample_lib
inside get_version for es
inside get_version for evs
inside get_version for fs
inside get_version for sb
inside get_version for tbl
inside get_version for time
inside get_version for osal
inside get_version for psp
inside get_version for msg
inside get_version for sbr
inside get_version for resourceid
inside get_version for config
[100%] Built target cfe-module-version
[100%] Built target mission-version
[100%] Built target mission-prebuild
[  0%] Built target osal_generic-linux_impl
[  3%] Built target osal_bsp
[ 15%] Built target osal_posix_impl
[ 25%] Built target osal
[ 27%] Built target ut_assert
[ 46%] Built target ut_osapi_stubs
[ 53%] Built target es
[ 56%] Built target evs
[ 57%] Built target fs
[ 61%] Built target sb
[ 63%] Built target tbl
[ 66%] Built target time
[ 67%] Built target linux_sysmon
[ 69%] Built target psp-pc-linux-impl
[ 72%] Built target psp-pc-linux-shared
[ 73%] Built target soft_timebase
[ 74%] Built target timebase_posix_clock
[ 75%] Built target eeprom_mmap_file
[ 77%] Built target ram_notimpl
[ 77%] Built target port_notimpl
[ 77%] Built target iodriver
[ 78%] Built target psp-pc-linux
[ 83%] Built target msg
[ 85%] Built target sbr
[ 86%] Built target resourceid
[ 89%] Built target config
[ 90%] Built target ci_lab
[ 91%] Built target to_lab
[ 91%] Built target sch_lab
[ 93%] Built target ut_assert_pic
[ 95%] Built target cfe_assert
[ 96%] Built target sample_app
[ 96%] Built target sample_lib
[100%] Built target core-cpu1
Install the project...
-- Install configuration: "debug"
-- Installing: /home/mbonnet/cFS/build/exe/cpu1/cf/cfe_es_startup.scr
-- Installing: /home/mbonnet/cFS/build/exe/cpu1/cf/ci_lab.so
-- Installing: /home/mbonnet/cFS/build/exe/cpu1/cf/to_lab.so
-- Installing: /home/mbonnet/cFS/build/exe/cpu1/cf/sch_lab.so
-- Installing: /home/mbonnet/cFS/build/exe/cpu1/cf/cfe_assert.so
-- Installing: /home/mbonnet/cFS/build/exe/cpu1/cf/sample_app.so
-- Installing: /home/mbonnet/cFS/build/exe/cpu1/cf/sample_lib.so
-- Installing: /home/mbonnet/cFS/build/exe/cpu1/core-cpu1
[100%] Built target native_default_cpu1-install
[ 33%] Built target tblobj_cpu1_sample_app.tbl604bf6a0b2508bb408652bef44ae03b9d6b94a22
[ 33%] Built target generate_table_cpu1_sample_app_sample_app_tbl
[ 33%] Built target tblobj_cpu1_to_lab.tblf247a471ffe43eaba1f6484d50e482437ecf0fca
[ 66%] Built target generate_table_cpu1_to_lab_to_lab_sub
[100%] Built target tblobj_cpu1_sch_lab.tbld324da2be59135a5ec94f0b40084781e3897458f
[100%] Built target generate_table_cpu1_sch_lab_sch_lab_table
[100%] Built target cfetables
[100%] Built target native_default_cpu1-cfetables
[100%] Built target mission-cfetables
Table build completed
[100%] Built target tabletool-execute
[ 42%] Built target cmdUtil
[ 71%] Built target elf2cfetbl
[100%] Built target cfe_ts_crc
Install the project...
-- Install configuration: "debug"
-- Up-to-date: /home/mbonnet/cFS/build/exe/.
-- Up-to-date: /home/mbonnet/cFS/build/exe/./cpu1
-- Up-to-date: /home/mbonnet/cFS/build/exe/./cpu1/cf
-- Installing: /home/mbonnet/cFS/build/exe/./cpu1/cf/to_lab_sub.tbl
-- Installing: /home/mbonnet/cFS/build/exe/./cpu1/cf/sample_app_tbl.tbl
-- Installing: /home/mbonnet/cFS/build/exe/./cpu1/cf/sch_lab_table.tbl
-- Installing: /home/mbonnet/cFS/build/exe/host/cmdUtil
-- Installing: /home/mbonnet/cFS/build/exe/host/elf2cfetbl
-- Installing: /home/mbonnet/cFS/build/exe/host/cfe_ts_crc
Built target mission-install

What is the core issue here? How might I fix it?

[ivanperez-keera]

I suspect that it's happening because those flags are not supported by LLVM (in any version, AFAIK), which IKOS uses under the hood.

Are you able to remove those flags where set in the CMakeLists.txt file, just to check?

You may also run into an issue due to cFS not having main entrypoint as such. It's possible to specify a different entrypoint.
I guess a cFS app's main (e.g., void SAMPLE_APP_Main(void)) could act as the main for that application. Otherwise, you may have better luck running IKOS based on your unit tests (which do have a main and should touch all functions if you have 100% coverage) or by building a test harness that exercises the main app's functions.

[MichaelBonnet]

I was able to get something running by replacing sample_defs/arch_build_custom.cmake with the following:

add_compile_options(
    -std=c99                            # Target the C99 standard (without gcc extensions)
    -pedantic                           # Issue all the warnings demanded by strict ISO C
    -Wall                               # Maximum strictness: Power of 10 Rule #10
    -Wextra                             # Maximum strictness: Power of 10 Rule #10
    -Wshadow                            # Maximum strictness: Power of 10 Rule #10
    -Wuninitialized                     # Maximum strictness: Power of 10 Rule #10
    -Wfloat-equal                       # Maximum strictness: Power of 10 Rule #10
    -Wformat                            # Maximum strictness: Power of 10 Rule #10
    -Wstrict-prototypes                 # Warn about strict prototypes
    -Winline                            # Maximum strictness: Power of 10 Rule #10
    -Wno-stack-protector                # Maximum strictness: Power of 10 Rule #10
    -Wwrite-strings                     # Warn if not treating string literals as "const"
    -Wpointer-arith                     # Warn about suspicious pointer operations
    -Werror                             # Treat warnings as errors (code should be clean)
    -Wno-missing-field-initializers     # enforcement would prevent cfe or osal from building
    -Wno-unused-parameter               # enforcement would prevent cfe or osal from building
    -Wno-sign-compare                   # enforcement would prevent cfe or osal from building
    -Wno-type-limits                    # enforcement would prevent cfe or osal from building
    # -Wno-format-truncation            # enforcement would prevent cfe or osal from building !!! Disabled to make IKOS work
    # -Wno-stringop-truncation          # enforcement would prevent cfe or osal from building !!! Disabled to make IKOS work
    -Wno-newline-eof                    # For making IKOS work
    -Wno-non-literal-null-conversion    # For making IKOS work
)

And running with this ikos command set:

make clean && make distclean
ikos-scan make SIMULATION=native prep
ikos-scan make
ikos-scan make install
ikos --format sarif --output-db ../cfs-build-build_interval.db --report-file ../cfs-build-build_interval.sarif --jobs 8 -d=interval build/native/default_cpu1/cpu1/core-cpu1.bc

It did work, producing a 1.6GB+ SARIF file, though I'm admittedly not a fan of not testing like I fly, since the sample_defs/arch_build_custom.cmake above leads to compile failure when not using ikos-scan.

I did attempt setting a different entrypoint for a specific app (since the SARIF doesn't make any mention of sample_ according to grep -rl 'sample_' . | grep 'interval', which I found interesting), but I seem to be doing something wrong.

mbonnet@workstation:~/cFS$ ikos --entry-points SAMPLE_APP_Main --format sarif --output-db ../cfs-build-build_interval.db --report-file ../cfs-build-build_interval.sarif --jobs 8 -d=interval build/native/default_cpu1/cpu1/core-cpu1.bc
[*] Running ikos preprocessor
[*] Running ikos analyzer
[*] Translating LLVM bitcode to AR
ikos-analyzer: /tmp/ikos-o9k3uzx5/core-cpu1.pp.bc: error: could not find function 'SAMPLE_APP_Main'
ikos: error: a run-time error occurred

mbonnet@workstation:~/cFS$ ikos --entry-points SAMPLE_APP_Main(void) --format sarif --output-db ../cfs-build-build_interval.db --report-file ../cfs-build-build_interval.sarif --jobs 8 -d=interval build/native/default_cpu1/cpu1/core-cpu1.bc
bash: syntax error near unexpected token `('
mbonnet@pinkbattlestation:~/cFS$ ikos --entry-points 'SAMPLE_APP_Main' --format sarif --output-db ../cfs-build-build_interval.db --report-file ../cfs-build-build_interval.sarif --jobs 8 -d=interval build/native/default_cpu1/cpu1/core-cpu1.bc
[*] Running ikos preprocessor
[*] Running ikos analyzer
[*] Translating LLVM bitcode to AR
ikos-analyzer: /tmp/ikos-_gjntdaq/core-cpu1.pp.bc: error: could not find function 'SAMPLE_APP_Main'
ikos: error: a run-time error occurred

mbonnet@workstation:~/cFS$ ikos --entry-points 'void SAMPLE_APP_Main(void)' --format sarif --output-db ../cfs-build-build_interval.db --report-file ../cfs-build-build_interval.sarif --jobs 8 -d=interval build/native/default_cpu1/cpu1/core-cpu1.bc
[*] Running ikos preprocessor
[*] Running ikos analyzer
[*] Translating LLVM bitcode to AR
ikos-analyzer: /tmp/ikos-ufjvju_y/core-cpu1.pp.bc: error: could not find function 'void SAMPLE_APP_Main(void)'
ikos: error: a run-time error occurred

[ivanperez-keera]

In cFS, applications are dynamically linked. build/native/default_cpu1/cpu1/core-cpu1.bc doesn't know anything about the sample app. There's a startup file made available to core-cpu1 under cf/ that describes which apps to start, and they are each available as individual libraries in *.so files.

See if you have any other *.bc files.

Alternatively, you may want to make SIMULATION=native ENABLE_UNIT_TESTS=true prep. That will enable the tests, and may create many more executables with their own entry points.

[MichaelBonnet]

make SIMULATION=native ENABLE_UNIT_TESTS=true prep did indeed create .bc files for analyzing applications, thank you.

I believe my next step will be to figure out how to make an ikos-specific cFS "build" process.

[ivanperez-keera]

Fantastic! Let me know how it goes.