diff options
| author | Martin Baulig <martin@src.gnome.org> | 1998-08-16 23:41:17 +0000 |
|---|---|---|
| committer | Martin Baulig <martin@src.gnome.org> | 1998-08-16 23:41:17 +0000 |
| commit | e0db8f34809f62280d9fb34028224e92b2410f05 (patch) | |
| tree | 89dc83b8cc7a19337e8762526fc8c510b810fa4f | |
| parent | 8f2b396347a24852a8ab27c18eb8531cbef10739 (diff) | |
| download | libgtop-e0db8f34809f62280d9fb34028224e92b2410f05.tar.gz | |
*** empty log message ***
| -rw-r--r-- | configure.in | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/configure.in b/configure.in index 8c816a8d..e3687119 100644 --- a/configure.in +++ b/configure.in @@ -58,6 +58,12 @@ GNOME_LIBGTOP_TYPES GNOME_CHECK_GUILE +AC_ARG_WITH(libgtop-guile, +[ --with-libgtop-guile Build the libgtop guile interface (default=yes)], +[build_guile="$withval"], [build_guile=yes]) + +test x$build_guile = xno && ac_cv_guile_found=no + AC_DEFINE(GLIBTOP_NAMES) if test x$ac_cv_guile_found = xyes ; then |