blob: 9413c70dde00f88390f3e3050bb99bc84b08e939 (
plain)
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
|
CC ?= gcc
VERICERT ?= vericert
VERICERT_OPTS ?= -fschedule
IVERILOG ?= iverilog
IVERILOG_OPTS ?=
TESTS := $(patsubst %.c,%.check,$(wildcard *.c))
all: $(TESTS)
%.gcc.out: %.gcc
@./$< ; echo "$$?" >$@
%.o: %.c
@$(CC) $(CFLAGS) -c -o $@ $<
%.gcc: %.o
@$(CC) $(CFLAGS) -o $@ $<
%.v: %.c
@$(VERICERT) $(VERICERT_OPTS) -o $@ $<
%.iver: %.v
@$(IVERILOG) $(IVERILOG_OPTS) -o $@ -- $<
%.veri.out: %.iver
@./$< | tail -n1 | sed -r -e 's/[^0-9]*([0-9]+)/\1/' >$@
%.check: %.gcc.out %.veri.out
@diff $^ >$@
@printf "\033[0;36mOK\033[0m\t$(patsubst %.check,%,$@)\n"
clean:
rm -f *.check *.gcc *.gcc.out *.o *.v *.iver *.veri.out
|
