diff configure @ 3196:ca4aaadbfb0a

extrachecks for weird configs GUI (--enable-gui --disable-png for instance)
author pl
date Thu, 29 Nov 2001 16:47:07 +0000
parents 53a6d2fc1498
children 039a973b3dda
line wrap: on
line diff
--- 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