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