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-div/medley/Makefile | |
parent | aa986aacbb80e9f92f77d65de74ba5051054eac7 (diff) | |
download | vericert-c4853aa99ad65d0fa6f014df1f52c62bc2b6fd31.tar.gz vericert-c4853aa99ad65d0fa6f014df1f52c62bc2b6fd31.zip |
Fix some more of the benchmarks
Diffstat (limited to 'benchmarks/polybench-syn-div/medley/Makefile')
-rw-r--r-- | benchmarks/polybench-syn-div/medley/Makefile | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/benchmarks/polybench-syn-div/medley/Makefile b/benchmarks/polybench-syn-div/medley/Makefile index 816a0ce..01da9de 100644 --- a/benchmarks/polybench-syn-div/medley/Makefile +++ b/benchmarks/polybench-syn-div/medley/Makefile @@ -1,3 +1,6 @@ TARGETS := floyd-warshall nussinov include ../common.mk + +floyd-warshall.v: floyd-warshall.c + $(VERICERT) $(VERICERT_OPTS) -O0 -finline $< -o $@ |