From 0a7317c51be76685b707c9561fce6fa37d7ff022 Mon Sep 17 00:00:00 2001 From: Patrick McCarty Date: Wed, 5 May 2010 13:21:23 -0700 Subject: [PATCH] Build: Remove obsolete `gui' configure option. --- configure.in | 10 ---------- 1 file changed, 10 deletions(-) diff --git a/configure.in b/configure.in index a97128e61b..1de5f64453 100644 --- a/configure.in +++ b/configure.in @@ -30,12 +30,6 @@ AC_ARG_ENABLE(documentation, [DOCUMENTATION=$enableval]) AC_SUBST(DOCUMENTATION) -gui_b=no -AC_ARG_ENABLE(gui, - [ --enable-gui compile with experimental GNOME output. Default: off], - [gui_b=$enableval]) - - AC_ARG_WITH(ncsb-dir, [ --with-ncsb-dir=DIR location of Century Schoolbook fonts.], [NCSB_DIR=$withval], @@ -154,10 +148,6 @@ AC_CHECK_FUNCS([chroot fopencookie funopen gettext isinf memmem snprintf vsnprin STEPMAKE_PROGS(PKG_CONFIG, pkg-config, REQUIRED, 0.9.0) -if test "$gui_b" = "yes"; then - STEPMAKE_GTK2(gtk+-2.0, REQUIRED, 2.4.0) -fi - AC_MSG_CHECKING(whether to enable dynamic relocation) if test "$reloc_b" = "yes"; then AC_DEFINE(ARGV0_RELOCATION) -- 2.39.5