Helo All, It seems that, since realmpfr.h is not listed in the PLUGIN_HEADERS in gcc/Makefile.in, it cannot be used from plugins.
Is there a reason for that, or what? I feel that plugins need to know about <mpfr.h> and about the real_from_mpfr & mpfr_from_real functions. Cheers. -- Basile STARYNKEVITCH http://starynkevitch.net/Basile/ email: basile<at>starynkevitch<dot>net mobile: +33 6 8501 2359 8, rue de la Faiencerie, 92340 Bourg La Reine, France *** opinions {are only mines, sont seulement les miennes} ***
