diff --git a/Makefile b/Makefile index 3bdea5c5b..1e1228714 100644 --- a/Makefile +++ b/Makefile @@ -16,7 +16,7 @@ ENABLE_PLUGINS := 0 ENABLE_READLINE := 0 ENABLE_EDITLINE := 1 ENABLE_GHDL := 0 -ENABLE_SLANG := 1 +ENABLE_SLANG := 0 ENABLE_VERIFIC := 1 ENABLE_VERIFIC_SYSTEMVERILOG := 1 ENABLE_VERIFIC_VHDL := 0