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 | 7ca7d093df5ed4f4408f4617036116a84df2bd7f (patch) | |
| tree | 168f5fc5517d00ed55815b12636de8c475b4e66c /configure.in | |
| parent | 78ce2582bbb863d8af11aa203b73bd864ea0bc4f (diff) | |
| download | mdk-7ca7d093df5ed4f4408f4617036116a84df2bd7f.tar.gz mdk-7ca7d093df5ed4f4408f4617036116a84df2bd7f.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 |