diff --git a/Makefile b/Makefile index 53f044205..dfb12b12a 100644 --- a/Makefile +++ b/Makefile @@ -12,7 +12,7 @@ ENABLE_ABC := 1 ENABLE_GLOB := 1 ENABLE_PLUGINS := 0 ENABLE_READLINE := 0 -ENABLE_EDITLINE := 1 +ENABLE_EDITLINE := 0 ENABLE_GHDL := 0 ENABLE_SLANG := 0 ENABLE_VERIFIC := 1