aboutsummaryrefslogtreecommitdiffstats
path: root/benchmarks/polybench-syn/stencils/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'benchmarks/polybench-syn/stencils/Makefile')
-rw-r--r--benchmarks/polybench-syn/stencils/Makefile6
1 files changed, 6 insertions, 0 deletions
diff --git a/benchmarks/polybench-syn/stencils/Makefile b/benchmarks/polybench-syn/stencils/Makefile
new file mode 100644
index 0000000..d2e1c9b
--- /dev/null
+++ b/benchmarks/polybench-syn/stencils/Makefile
@@ -0,0 +1,6 @@
+TARGETS := adi fdtd-2d heat-3d jacobi-1d jacobi-2d seidel-2d
+
+include ../common.mk
+
+adi.v: adi.c
+ $(VERICERT) $(VERICERT_OPTS) -O0 -finline $< -o $@