From 90ed9c794dadc04259530f7058cd9bc260814d33 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Thu, 18 Nov 2021 22:14:43 +0000 Subject: Improve the benchmark Makefile --- benchmarks/polybench-syn/common.mk | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'benchmarks/polybench-syn/common.mk') diff --git a/benchmarks/polybench-syn/common.mk b/benchmarks/polybench-syn/common.mk index 88fb059..85d62f6 100644 --- a/benchmarks/polybench-syn/common.mk +++ b/benchmarks/polybench-syn/common.mk @@ -1,5 +1,5 @@ VERICERT ?= vericert -VERICERT_OPTS ?= -DSYNTHESIS -O0 -finline +VERICERT_OPTS ?= -DSYNTHESIS -O0 -finline -fschedule -fif-conv IVERILOG ?= iverilog IVERILOG_OPTS ?= -- cgit