configure do
  check_c_compiler "gcc"
  check_program "make"
  check_program "bison"
  check_program "flex"
  check_program "texi2any"
  check_program "wget"
  check_lib "gmp"
  check_lib "mpc"
  check_lib "mpfr"
end