Makefile


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37


TEST_OBJS=$(addsuffix .o,$(basename $(wildcard tests/*.S)))

test: testbench.exe firmware/firmware.hex
	vvp -N testbench.exe

testbench.exe: testbench.v picorv32.v
	iverilog -o testbench.exe testbench.v picorv32.v
	chmod -x testbench.exe

firmware/firmware.hex: firmware/firmware.bin firmware/makehex.py
	python3 firmware/makehex.py $< > $@

firmware/firmware.bin: firmware/firmware.elf
	riscv64-unknown-elf-objcopy -O binary $< $@
	chmod -x $@

firmware/firmware.elf: $(TEST_OBJS) firmware/sections.lds firmware/start.S firmware/sieve.c firmware/stats.c
	riscv64-unknown-elf-gcc -Os -m32 -march=RV32I -ffreestanding -nostdlib -o $@ \
		-Wl,-Bstatic,-T,firmware/sections.lds,-Map,firmware/firmware.map,--strip-debug \
		firmware/start.S firmware/sieve.c firmware/stats.c $(TEST_OBJS) -lgcc
	chmod -x $@

tests/%.o: tests/%.S tests/riscv_test.h tests/test_macros.h
	riscv64-unknown-elf-gcc -m32 -march=RV32I -c -o $@ -DTEST_FUNC_NAME=$(notdir $(basename $<)) \
		-DTEST_FUNC_TXT='"$(notdir $(basename $<))"' -DTEST_FUNC_RET=$(notdir $(basename $<))_ret $<

synth_vivado:
	vivado -nojournal -log synth_vivado.log -mode batch -source synth_vivado.tcl

clean:
	rm -vrf $(TEST_OBJS) firmware/firmware.elf firmware/firmware.bin firmware/firmware.hex \
		firmware/firmware.map testbench.exe testbench.vcd .Xil fsm_encoding.os \
		synth_vivado.log synth_vivado_*.backup.log synth_vivado.v

.PHONY: test synth_vivado clean