use the correct flags to build gmp and mpfr
tree12884b583a9453c34d049bd2a8451dd155b62463
-rw-r--r-- 1816 .defconfig
-rw-r--r-- 142 .gitignore
-rw-r--r-- 5828 Config.in
-rw-r--r-- 13971 Makefile
-rw-r--r-- 432 TODO
drwxr-xr-x - docs
drwxr-xr-x - package
drwxr-xr-x - project
drwxr-xr-x - target
drwxr-xr-x - toolchain