Makefile « blas « 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/blas/Makefile

blob: 5cd6a49b15f788c5a32ad0f80d43f9e4c75c1d8c (plain)

1
2
3

TARGETS := gemm gemver gesummv symm syr2k syrk trmm

include ../common.mk