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