FMU Compliance Checker: FMICAPI: неопределенный символ: va_start (Linux)

Question

В оболочке FMI мы используем переменную функцию для ведения журнала. При выполнении проверки соответствия FMU (2.0.3) для linux64 на FMU (для Co-Sim) скомпилирован с GCC 4.9.2, средство проверки соответствия выдает ошибку при загрузке * .so файла:

[FATAL][FMICAPI] Could not load the DLL: /tmp/fmucktmpslmDuk/binaries/linux64/Frame.so: undefined symbol: va_start 

Мне интересно, запрещено ли использовать va_start в FMI в Linux? Спецификации FMI (1, 2), похоже, не дают подсказки.

Answer 1

Просто

#include <stdarg.h> 

va_arg и многие другие определяются там.