Nios II 7.1 IDE. Функции из HAL., Вопросы... Опции

[Волощенко]

Есть желание применить функции из HAL. Вот программа, в ней вызывается функция alt_timestamp_start(), которая описана в altera_avalon_timer_ts.c.

#include "sys/alt_stdio.h"
//-----------------------------
#include "alt_types.h"
#include "system.h"
//-----------------------------
#include "altera_avalon_timer_regs.h" //for timer
#include "altera_avalon_timer_ts.c"
//-----------------------------
int main()
{alt_u32 a;
a=alt_timestamp_start();
alt_putstr("Hello from Nios II!\n");
printf("%08x, ", a);
while (1);
return 0;
}

Но при компиляции сообщается об ошибке: undefined reference to `alt_timestamp_start'.
Вопрос: Что в программе не так, и как правильно подключать функции и макросы из системной библиотеки, например, из hello_world_small_0_syslib\Device Drivers [Sopc Builder]\altera_avalon_timer\HAL\src

[id_gene]

Ошибки - это плохо.
Про билдер я, похоже, поторопился, выбирать нужно в настройках сислиба.

Добавлено:
про инклуды: _подозреваю_, что область поиска файлов для инклуда (ключ gcc -include) ограничена по умолчанию только необходимыми вещами, чтобы не замусорить систему. Посмотрите, как это будет сделано через скрипты или правьте пути поиска в настройках компилятора. Навскидку ничего умнее в голову не приходит.
Читайте доки