Makefile « stencils « polybench-syn « benchmarks - vericert-kvx - Unnamed repository; edit this file 'description' to name the repository.

about summary refs log tree commit diff stats

path: root/benchmarks/polybench-syn/stencils/Makefile

blob: cf23dc6c5c39a9a8dc6bc6c0f8a79edfbead5087 (plain)

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 $@