From 5321f82fb46a87ca372b10ba5729509871cc935a Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Tue, 19 Jul 2022 08:53:57 +0200
Subject: Work on implementing abstract predicates

---
 benchmarks/polybench-syn/common.mk | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

(limited to 'benchmarks/polybench-syn/common.mk')

diff --git a/benchmarks/polybench-syn/common.mk b/benchmarks/polybench-syn/common.mk
index e155e4a..877dd68 100644
--- a/benchmarks/polybench-syn/common.mk
+++ b/benchmarks/polybench-syn/common.mk
@@ -1,5 +1,5 @@
 VERICERT ?= vericert
-VERICERT_OPTS ?= -DSYNTHESIS -fschedule -fif-conv
+VERICERT_OPTS ?= -DSYNTHESIS -fschedule -fif-conv -dgblseq -dgblpar
 
 IVERILOG ?= iverilog
 IVERILOG_OPTS ?=
@@ -9,17 +9,17 @@ VERILATOR_OPTS ?= -Wno-fatal -Wno-lint -Wno-style -Wno-WIDTH --top main --exe $(
 
 TARGETS ?=
 
-%.v: %.c
+%.sv: %.c
 	@echo -e "\033[0;35mMAKE\033[0m" $<
 	$(VERICERT) $(VERICERT_OPTS) $< -o $@
 
-%.iver: %.v
+%.iver: %.sv
 	$(IVERILOG) -o $@ $(IVERILOG_OPTS) $<
 
 %.gcc: %.c
 	$(CC) $(CFLAGS) $< -o $@
 
-%.verilator: %.v
+%.verilator: %.sv
 	$(VERILATOR) $(VERILATOR_OPTS) --Mdir $@ --cc $<
 	@echo -e $(MAKE) -C $@ -f Vmain.mk
 	@$(MAKE) -C $@ -f Vmain.mk &>/dev/null
-- 
cgit