diff options
Diffstat (limited to 'benchmarks/polybench-syn-div/medley/Makefile')
-rw-r--r-- | benchmarks/polybench-syn-div/medley/Makefile | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/benchmarks/polybench-syn-div/medley/Makefile b/benchmarks/polybench-syn-div/medley/Makefile new file mode 100644 index 0000000..01da9de --- /dev/null +++ b/benchmarks/polybench-syn-div/medley/Makefile @@ -0,0 +1,6 @@ +TARGETS := floyd-warshall nussinov + +include ../common.mk + +floyd-warshall.v: floyd-warshall.c + $(VERICERT) $(VERICERT_OPTS) -O0 -finline $< -o $@ |