Move -DNO_ASM to config.h?

[Vincent Lefevre]

On 2016-03-21 16:01:25 +0100, Marc Glisse wrote:
> In https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69134 (
> https://gcc.gnu.org/ml/gcc-patches/2016-01/msg00127.html ), users
> specifically wanted to disable MPFR's copy ;-)

That's because they're using a very old MPFR version (2.4.2).
Normally, the right thing to do if this happened in a recent
version would be to fix the bug.

-- 
Vincent Lefèvre <vincent at vinc17.net> - Web: <https://www.vinc17.net/>
100% accessible validated (X)HTML - Blog: <https://www.vinc17.net/blog/>
Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)