## SECTION=hosttools_noprompt

config HOST_MPFR
	select HOST_GMP
	bool