Any use of a host library should come with associated configure options to specify header and library paths for that library (and documentation for those options). (See existing --with-gmp*, --with-isl* etc. options.)
-- Joseph S. Myers jos...@codesourcery.com
