diff options
author | Yann Herklotz <git@yannherklotz.com> | 2021-07-11 01:34:00 +0200 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2021-07-11 01:34:00 +0200 |
commit | c4853aa99ad65d0fa6f014df1f52c62bc2b6fd31 (patch) | |
tree | 7ad14408fed21ee50f2e115f663340afe1cffbc2 /benchmarks/polybench-syn/common.mk | |
parent | aa986aacbb80e9f92f77d65de74ba5051054eac7 (diff) | |
download | vericert-kvx-c4853aa99ad65d0fa6f014df1f52c62bc2b6fd31.tar.gz vericert-kvx-c4853aa99ad65d0fa6f014df1f52c62bc2b6fd31.zip |
Fix some more of the benchmarks
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 |