From 6204be060c522e54ef320c30196f4daba7a35ce5 Mon Sep 17 00:00:00 2001 From: Akash Levy Date: Tue, 2 Jul 2024 15:13:03 -0700 Subject: [PATCH] Enable Verific --- Makefile | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/Makefile b/Makefile index bfe99774f..04844f794 100644 --- a/Makefile +++ b/Makefile @@ -15,11 +15,11 @@ ENABLE_PLUGINS := 1 ENABLE_READLINE := 0 ENABLE_EDITLINE := 1 ENABLE_GHDL := 0 -ENABLE_VERIFIC := 0 +ENABLE_VERIFIC := 1 ENABLE_VERIFIC_SYSTEMVERILOG := 1 -ENABLE_VERIFIC_VHDL := 1 +ENABLE_VERIFIC_VHDL := 0 ENABLE_VERIFIC_HIER_TREE := 1 -ENABLE_VERIFIC_YOSYSHQ_EXTENSIONS := 1 +ENABLE_VERIFIC_YOSYSHQ_EXTENSIONS := 0 ENABLE_VERIFIC_EDIF := 0 ENABLE_VERIFIC_LIBERTY := 0 ENABLE_COVER := 1