From aa986aacbb80e9f92f77d65de74ba5051054eac7 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Sun, 11 Jul 2021 01:19:52 +0200 Subject: Add divider benchmarks --- benchmarks/polybench-syn-div/medley/Makefile | 3 +++ 1 file changed, 3 insertions(+) create mode 100644 benchmarks/polybench-syn-div/medley/Makefile (limited to 'benchmarks/polybench-syn-div/medley/Makefile') diff --git a/benchmarks/polybench-syn-div/medley/Makefile b/benchmarks/polybench-syn-div/medley/Makefile new file mode 100644 index 0000000..816a0ce --- /dev/null +++ b/benchmarks/polybench-syn-div/medley/Makefile @@ -0,0 +1,3 @@ +TARGETS := floyd-warshall nussinov + +include ../common.mk -- cgit From c4853aa99ad65d0fa6f014df1f52c62bc2b6fd31 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Sun, 11 Jul 2021 01:34:00 +0200 Subject: Fix some more of the benchmarks --- benchmarks/polybench-syn-div/medley/Makefile | 3 +++ 1 file changed, 3 insertions(+) (limited to 'benchmarks/polybench-syn-div/medley/Makefile') 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 $@ -- cgit