Makefile « medley « polybench-syn-div « 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-div/medley/Makefile

blob: 01da9dedecec7887d28cd52dbf5def9ef6a09018 (plain)

TARGETS := floyd-warshall nussinov

include ../common.mk

floyd-warshall.v: floyd-warshall.c
	$(VERICERT) $(VERICERT_OPTS) -O0 -finline $< -o $@