Special configure flags
You can fine-tune the configuration process using the following
switches with configure:
-enable-gui[=yes|no]
|
User Option |
-disable-gui
|
User Option |
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.
|
-with-guile[=yes|no]
|
User Option |
-without-guile
|
User Option |
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.
|
-with-readline[=yes|no]
|
User Option |
-without-readline
|
User Option |
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