diff options
author | Yann Herklotz <git@yannherklotz.com> | 2021-07-10 21:12:37 +0200 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2021-07-10 21:12:37 +0200 |
commit | 6797b6b0472e87c1ef5edb84f81a16b73577f754 (patch) | |
tree | 5ffca6d68a4b1a4b0ca414de91f5015d7982e2a7 /benchmarks/polybench-syn/common.mk | |
parent | f21f8ed249030032f4b0a99c0fcd7e210ddb2e1b (diff) | |
download | vericert-6797b6b0472e87c1ef5edb84f81a16b73577f754.tar.gz vericert-6797b6b0472e87c1ef5edb84f81a16b73577f754.zip |
Fix Makefiles slightly
Diffstat (limited to 'benchmarks/polybench-syn/common.mk')
-rw-r--r-- | benchmarks/polybench-syn/common.mk | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/benchmarks/polybench-syn/common.mk b/benchmarks/polybench-syn/common.mk index 6508855..7e14602 100644 --- a/benchmarks/polybench-syn/common.mk +++ b/benchmarks/polybench-syn/common.mk @@ -4,6 +4,8 @@ VERICERT_OPTS ?= -DSYNTHESIS IVERILOG ?= iverilog IVERILOG_OPTS ?= +TARGETS ?= + %.v: %.c $(VERICERT) $(VERICERT_OPTS) $< -o $@ @@ -16,11 +18,14 @@ IVERILOG_OPTS ?= %: %.iver %.gcc cp $< $@ +all: $(TARGETS) + clean: rm -f *.iver rm -f *.v rm -f *.gcc + rm -f $(TARGETS) -.PRECIOUS: %.v +.PRECIOUS: %.v %.gcc %.iver .PHONY: all clean .SUFFIXES: |