Makefile « kernels « linear-algebra « polybench-syn « benchmarks - vericert - Vericert is a formally verified high-level synthesis tool.

about summary refs log tree commit diff stats

path: root/benchmarks/polybench-syn/linear-algebra/kernels/Makefile

blob: 815b9a02d6d5b9b64a0873782acfcae851e4cb0a (plain)

1
2
3

TARGETS := 2mm 3mm atas bicg doitgen mvt

include ../common.mk