diff options
author | Yann Herklotz <git@yannherklotz.com> | 2023-08-10 11:17:19 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2023-08-11 17:15:39 +0100 |
commit | 6ad3f69cf04d0055b7987e6e4c858a64d3b1693c (patch) | |
tree | c686b80ee30c1280f005c27d60a6344bbee8d646 /benchmarks/polybench-syn | |
parent | 05afcff334725e885522e9859b9ab735a404014c (diff) | |
download | vericert-6ad3f69cf04d0055b7987e6e4c858a64d3b1693c.tar.gz vericert-6ad3f69cf04d0055b7987e6e4c858a64d3b1693c.zip |
Fix backend hardware generation and scheduling
Diffstat (limited to 'benchmarks/polybench-syn')
-rw-r--r-- | benchmarks/polybench-syn/common.mk | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/benchmarks/polybench-syn/common.mk b/benchmarks/polybench-syn/common.mk index 877dd68..a0b01d4 100644 --- a/benchmarks/polybench-syn/common.mk +++ b/benchmarks/polybench-syn/common.mk @@ -32,10 +32,17 @@ all: $(TARGETS) clean: rm -f *.iver rm -f *.v + rm -f *.sv rm -f *.gcc rm -f *.clog rm -f *.tmp rm -f $(TARGETS) + rm -f *.{0,1,2,3,4,5,6,7,8,9} + rm -f *.smt2 + rm -f *.log + rm -f *.dot + rm -f *.vtlog + rm -f *.txt rm -rf *.verilator .PRECIOUS: %.v %.gcc %.iver |