Объединить программу C и битовый поток VHDL с помощью make (т. Е. С помощью Makefile)

Я пытаюсь протестировать программный процессор VHDL AVR8, найденный на Gadget Factory, на плате разработки Digilent Nexys II (Spartan 3E). Проект включает Makefile для компиляции программы на языке C (или другой) и ее объединения с потоком битов FPGA, поэтому нет необходимости повторно синтезировать HDL при каждой итерации программного обеспечения.

Когда я выполняю make, я получаю следующую ошибку, связанную с data2mem:

Merging Verilog Mem file with Xilinx bitstream: main.bit
data2mem -bm bin/top_avr_core_v8_bd.bmm -bt bin/top_avr_core_v8.bit -bd main.mem -o b main.bit
process_begin: CreateProcess(NULL, data2mem -bm bin/top_avr_core_v8_bd.bmm -bt bin/top_avr_core_v8.bit -bd main.mem -o b main.bit, ...) failed.
make (e=2): The system cannot find the file specified.
make: *** [main.bit] Error 2

Я выполняю make в том же каталоге, где находятся файлы проекта VHDL, и у меня даже есть пустой файл main.bit в этом каталоге.

Есть ли у кого-нибудь идеи о том, что здесь происходит? Мой пустой файл main.bit нужно отформатировать определенным образом или поместить в другое место?

Ниже приводится ссылка на мой Makefile:

Makefile

Другая информация на заметку: я новичок в использовании Makefiles в целом, не говоря уже о конкретной цели слияния программного обеспечения с файлом битового потока FPGA. Кроме того, я пытаюсь сделать это на компьютере с Windows 7 в командной строке.

Заранее спасибо.

Изменить: вот ссылка на программный процессор AVR8 на Gadget Factory, а вот AVR8 источник.