aboutsummaryrefslogtreecommitdiffstats
path: root/benchmarks/polybench-syn/common.mk
diff options
context:
space:
mode:
Diffstat (limited to 'benchmarks/polybench-syn/common.mk')
-rw-r--r--benchmarks/polybench-syn/common.mk7
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: