--- configure.orig 2011-05-13 09:26:24.000000000 +0200 +++ configure 2012-02-18 20:13:24.549495741 +0100 @@ -4811,37 +4811,6 @@ $as_echo "no, using $LN_S" >&6; } fi - -#force use of flex/bison -if test "x$LEX" != "xflex"; then - { $as_echo "$as_me:${as_lineno-$LINENO}: WARNING: Program flex not found (found $LEX)" >&5 -$as_echo "$as_me: WARNING: Program flex not found (found $LEX)" >&2;} - as_fn_error $? "Please install gnu flex from http://www.gnu.org/software/flex/" "$LINENO" 5 -fi -if test "x$YACC" != "xbison -y"; then - { $as_echo "$as_me:${as_lineno-$LINENO}: WARNING: Program bison not found (found $YACC)" >&5 -$as_echo "$as_me: WARNING: Program bison not found (found $YACC)" >&2;} - as_fn_error $? "Please install gnu bison from http://www.gnu.org/software/bison/" "$LINENO" 5 -fi - -#advice use of gcc -if test "x$GCC" = "xyes"; then - case "$CFLAGS" in - *-Wall*) - # already present - ;; - *) - CFLAGS="$CFLAGS -Wall" - esac -else - { $as_echo "$as_me:${as_lineno-$LINENO}: WARNING: Seems that the selected C-compiler is not gnu gcc C-compiler" >&5 -$as_echo "$as_me: WARNING: Seems that the selected C-compiler is not gnu gcc C-compiler" >&2;} - { $as_echo "$as_me:${as_lineno-$LINENO}: WARNING: We advice you to use gcc as C-compiler" >&5 -$as_echo "$as_me: WARNING: We advice you to use gcc as C-compiler" >&2;} - { $as_echo "$as_me:${as_lineno-$LINENO}: WARNING: You can install it from http://www.gnu.org/software/gcc/" >&5 -$as_echo "$as_me: WARNING: You can install it from http://www.gnu.org/software/gcc/" >&2;} -fi - # Libtool initialisation. # Make sure we can run config.sub. $SHELL "$ac_aux_dir/config.sub" sun4 >/dev/null 2>&1 ||