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

blob: b3960279e99589e591d1c3aaaf42989c0dc65efd (plain)

1
2
3

TARGETS := cholesky durbin lu ludcmp trisolv

include ../common.mk