configure et png

[frederic han]

Salut bernard,

Y aurait il une possibilité d'inclure dans ./configure une option pour desactiver le support png, car sous sage on ne s'en sert pas (ou tres peu) et sage patche la libpng, mais si le systeme a en plus une libpng12 il faudrait que je modifie le configure de giac pour mettre des -lpng16. Je trouve que ca serait plus simple de ne pas mettre de png du tout avec un truc du genre:

Code : Tout sélectionner

./configure --disable-png

l

[parisse]

Ca devrait marcher en mettant dans configure.in

Code : Tout sélectionner

CONFIG_PNG="yes"
AC_ARG_ENABLE(png,
	[AS_HELP_STRING([--enable-png], [Enable PNG library])],
	[ if test "x$enableval" = "xno"; then CONFIG_PNG="no"; fi], [])
  
if test "x$CONFIG_PNG" = "xyes"; then 
   AC_CHECK_HEADERS(png.h, AC_CHECK_LIB(png,main))
fi

a la place de AC_CHECK_HEADERS(png.h, AC_CHECK_LIB(png,main)) mais seulement avec disable-gui.