Next: , Previous: , Up: Installing MDK   [Contents][Index]


1.5 Special configure flags

You can fine-tune the configuration process using the following switches with configure:

User Option: --enable-gui[=yes|no]
User Option: --disable-gui

Enables/disables the build of the MIX virtual machine GUI (gmixvm). If the required libraries are missing (see Requirements) the configure script with automatically disable this feature.

User Option: --with-guile[=yes|no]
User Option: --without-guile

Enables/disables the Guile support for mixvm and gmixvm, and the build of mixguile. If the required libraries are missing (see Requirements) the configure script with automatically disable this feature.

User Option: --with-readline[=yes|no]
User Option: --without-readline

Enables/disables the GNU Readline support for mixvm. If the required libraries are missing (see Requirements) the configure script with automatically disable this feature.

For additional, boilerplate configure options, see the INSTALL file, or run

configure --help