## SECTION=hosttools_noprompt

config HOST_GMP
	bool