diff options
| author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2001-08-23 00:01:08 +0000 |
|---|---|---|
| committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2001-08-23 00:01:08 +0000 |
| commit | 6446df78afb4f3da2aa90e25b18b471fb272a8a9 (patch) | |
| tree | 12d538e5fbb4cb34eac5a0f0776eb728a159ecef /configure.in | |
| parent | 2f80c2ddcae154ab3cd7dac3cd60c03285c00265 (diff) | |
| download | mdk-6446df78afb4f3da2aa90e25b18b471fb272a8a9.tar.gz mdk-6446df78afb4f3da2aa90e25b18b471fb272a8a9.tar.bz2 | |
mixguile commands
Diffstat (limited to 'configure.in')
| -rw-r--r-- | configure.in | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/configure.in b/configure.in index b7deb10..9e143f4 100644 --- a/configure.in +++ b/configure.in @@ -110,7 +110,7 @@ dnl Check for libglade if test x$gui = xtrue; then AM_PATH_LIBGLADE([LIBS="$LIBS $LIBGLADE_LIBS" CFLAGS="$CFLAGS $LIBGLADE_CFLAGS"], - [AC_MSG_WARN(Cannot find GTK+: the GUI shall not be built) gui=false]) + [(Cannot find libglade: the GUI shall not be built) gui=false]) fi dnl use the provided getopt if gnu getopt is not available @@ -154,4 +154,7 @@ echo " - mixvm (MIX virtual machine${rlinfo}${guileinfo})" if test x$gui = xtrue; then echo " - gmixvm (mixvm GTK+ GUI${guileinfo})" fi +if test x$wguile = xtrue; then +echo " - mixguile (the mixvm guile shell)" +fi echo |