Raspberry Pi port, piCore-15.0 is available!
compiletc should have mpfr-dev
Also, gmp should include a symlink of libgmp.so.3 -> libgmp.so to support extensions compiled against the last gmp