diff options
| author | jaortega <jaortega> | 2001-03-15 17:26:39 +0000 |
|---|---|---|
| committer | jaortega <jaortega> | 2001-03-15 17:26:39 +0000 |
| commit | 44984f46aa6fdc81fe8e5af29e09c9c624d864c5 (patch) | |
| tree | 83bd0d7c26bdb603aa295c5341344420782c25a3 /configure.in | |
| parent | 52cac8c41a50145c385c0c13b95ee290a1628c97 (diff) | |
| download | mdk-44984f46aa6fdc81fe8e5af29e09c9c624d864c5.tar.gz mdk-44984f46aa6fdc81fe8e5af29e09c9c624d864c5.tar.bz2 | |
0.3 pre-release
Diffstat (limited to 'configure.in')
| -rw-r--r-- | configure.in | 39 |
1 files changed, 33 insertions, 6 deletions
diff --git a/configure.in b/configure.in index 02c9684..a8c1c47 100644 --- a/configure.in +++ b/configure.in @@ -10,7 +10,7 @@ AC_INIT(mixlib/mix.h) AM_CONFIG_HEADER(config.h) -AM_INIT_AUTOMAKE(mdk,0.2) +AM_INIT_AUTOMAKE(mdk,0.3) AM_MAINTAINER_MODE @@ -40,14 +40,31 @@ AM_PATH_GLIB(1.2.0, [LIBS="$LIBS $GLIB_LIBS" CFLAGS="$CFLAGS $GLIB_CFLAGS"], AC_MSG_ERROR(Cannot find GLIB), "gmodule" ) +dnl Check if the gtk gui is required +AC_ARG_ENABLE(gui, +[ --enable-gui build the GTK+ GUI for mixvm (gmixvm)], +[case "${enableval}" in + yes) gui=true ;; + no) gui=false ;; + *) AC_MSG_ERROR(bad value ${enableval} for --enable-gui) ;; +esac],[gui=true]) + dnl Check for gtk+ -AM_PATH_GTK(1.2.0, - [LIBS="$LIBS $GTK_LIBS" CFLAGS="$CFLAGS $GTK_CFLAGS"], - AC_MSG_ERROR(Cannot find GTK), "gmodule" ) +if test x$gui = xtrue; then + AM_PATH_GTK(1.2.0, + [LIBS="$LIBS $GTK_LIBS" CFLAGS="$CFLAGS $GTK_CFLAGS"], + [AC_MSG_WARN(Cannot find GTK+: the GUI shall not be built) gui=false], + "gmodule" ) +fi dnl Check for libglade -AM_PATH_LIBGLADE([LIBS="$LIBS $LIBGLADE_LIBS" CFLAGS="$CFLAGS $LIBGLADE_CFLAGS"], - AC_MSG_ERROR(Cannot find 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]) +fi + +AM_CONDITIONAL(MAKE_GUI, test x$gui = xtrue) CFLAGS="$CFLAGS -Wall" AC_SUBST(CFLAGS) @@ -66,3 +83,13 @@ samples/Makefile po/Makefile.in ) +echo +echo "*** GNU MDK $VERSION has been successfully configured. ***" +echo +echo "Type make to build the following utilities:" +echo " - mixasm (MIX assembler)" +echo " - mixvm (MIX virtual machine)" +if test x$gui = xtrue; then +echo " - gmixvm (mixvm GTK+ GUI)" +fi +echo |