comparison configure @ 32165:79c75e3076c5

Simplify libggiwmh check.
author diego
date Tue, 14 Sep 2010 17:20:49 +0000
parents 07c3c20985e0
children e9c91deb192e
comparison
equal deleted inserted replaced
32164:07c3c20985e0 32165:79c75e3076c5
4728 4728
4729 echocheck "GGI extension: libggiwmh" 4729 echocheck "GGI extension: libggiwmh"
4730 if test "$_ggiwmh" = auto ; then 4730 if test "$_ggiwmh" = auto ; then
4731 _ggiwmh=no 4731 _ggiwmh=no
4732 cat > $TMPC << EOF 4732 cat > $TMPC << EOF
4733 #include <ggi/ggi.h>
4734 #include <ggi/wmh.h> 4733 #include <ggi/wmh.h>
4735 int main(void) { ggiInit(); ggiWmhInit(); return 0; } 4734 int main(void) { ggiWmhInit(); return 0; }
4736 EOF 4735 EOF
4737 cc_check -lggi -lggiwmh && _ggiwmh=yes 4736 function_check ggi/wmh.h 'ggiWmhInit()' -lggi -lggiwmh && _ggiwmh=yes
4738 fi 4737 fi
4739 # needed to get right output on obscure combination 4738 # needed to get right output on obscure combination
4740 # like --disable-ggi --enable-ggiwmh 4739 # like --disable-ggi --enable-ggiwmh
4741 if test "$_ggi" = yes && test "$_ggiwmh" = yes ; then 4740 if test "$_ggi" = yes && test "$_ggiwmh" = yes ; then
4742 def_ggiwmh='#define CONFIG_GGIWMH 1' 4741 def_ggiwmh='#define CONFIG_GGIWMH 1'