diff options
Diffstat (limited to 'benchmarks/polybench-syn/common.mk')
-rw-r--r-- | benchmarks/polybench-syn/common.mk | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/benchmarks/polybench-syn/common.mk b/benchmarks/polybench-syn/common.mk index 7e14602..fbada0b 100644 --- a/benchmarks/polybench-syn/common.mk +++ b/benchmarks/polybench-syn/common.mk @@ -10,7 +10,7 @@ TARGETS ?= $(VERICERT) $(VERICERT_OPTS) $< -o $@ %.iver: %.v - $(IVERILOG) $(IVERILOG_OPTS) $< -o $@ + $(IVERILOG) -o $@ $(IVERILOG_OPTS) $< %.gcc: %.c $(CC) $(CFLAGS) $< -o $@ @@ -24,6 +24,8 @@ clean: rm -f *.iver rm -f *.v rm -f *.gcc + rm -f *.clog + rm -f *.tmp rm -f $(TARGETS) .PRECIOUS: %.v %.gcc %.iver |