From f21f8ed249030032f4b0a99c0fcd7e210ddb2e1b Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Sat, 10 Jul 2021 21:06:31 +0200
Subject: Add more documentation and clean up benchmarks

---
 benchmarks/polybench-syn/stencils/Makefile | 6 ++++++
 1 file changed, 6 insertions(+)
 create mode 100644 benchmarks/polybench-syn/stencils/Makefile

(limited to 'benchmarks/polybench-syn/stencils/Makefile')

diff --git a/benchmarks/polybench-syn/stencils/Makefile b/benchmarks/polybench-syn/stencils/Makefile
new file mode 100644
index 0000000..cf23dc6
--- /dev/null
+++ b/benchmarks/polybench-syn/stencils/Makefile
@@ -0,0 +1,6 @@
+all: adi fdtd-2d heat-3d jacobi-1d jacobi-2d seidel-2d
+
+include ../common.mk
+
+adi.v: adi.c
+	$(VERICERT) $(VERICERT_OPTS) -O0 -finline $< -o $@
-- 
cgit