# HG changeset patch
# User pl
# Date 1007052427 0
# Node ID ca4aaadbfb0aa7e0dd424a1c1057cb110f8d0ffe
# Parent  62d797a16f72f1df926a22064a980e9379df1304
extrachecks for weird configs GUI (--enable-gui --disable-png for instance)

diff -r 62d797a16f72 -r ca4aaadbfb0a configure
--- a/configure	Thu Nov 29 13:43:52 2001 +0000
+++ b/configure	Thu Nov 29 16:47:07 2001 +0000
@@ -2336,6 +2336,10 @@
 echo "$_gui"
 if test "$_gui" = yes ; then
 
+  # Required libraries
+  test "$_png" != yes && die "PNG support required for GUI compilation"
+  test "$_x11" != yes && die "X11 support required for GUI compilation"
+
   echocheck "XShape extension"
   _xshape=no
   if test "$_x11" = yes ; then