Node:Специальные флаги конфигурации, Next:, Previous:Поддержка Emacs, Up:Установка MDK



Специальные флаги конфигурации

Вы можете производить тонкую настройку процесса конфигурирования, используя следующие параметры configure:

-enable-gui[=yes|no] User Option
-disable-gui User Option
Включает/выключает сборку графического интерфейса виртуальной машины MIX (gmixvm). Если отсутствуют необходимые библиотеки (see Требования), скрипт конфигурирования автоматически отключит эту возможность.

-with-guile[=yes|no] User Option
-without-guile User Option
Включает/выключает подержку Guile в mixvm и gmixvm и сборку mixguile. Если отсутствуют необходимые библиотеки, (see Требования), скрипт конфигурирования автоматически отключит эту возможность.

-with-readline[=yes|no] User Option
-without-readline User Option
Включает/выключает поддержку GNU Readline в mixvm. Если отсутствуют необходимые библиотеки (see Требования), скрипт конфигурирования автоматически отключит эту возможность.

Дополнительные параметры конфигурирования см. в файле INSTALL или выполните

configure --help