diff options
author | Yann Herklotz <git@yannherklotz.com> | 2023-08-10 11:17:19 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2023-08-10 11:17:19 +0100 |
commit | b32e7574864cde80f8f5283431c21a6803a89108 (patch) | |
tree | f30babb0db7e5797cb77f6ac44a682cb9b8b105b /benchmarks/polybench-syn | |
parent | c321e39de166308d8db2f6ebe577edb3297b507c (diff) | |
download | vericert-b32e7574864cde80f8f5283431c21a6803a89108.tar.gz vericert-b32e7574864cde80f8f5283431c21a6803a89108.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 |