Raspberry Pi port, piCore-15.0 is available!
Hi ugglaThe libmpfr.so.4 issue aside, if you wish to compile something, save yourself some grief and use compiletc.tcz.It contains make, gcc, gcc-libs, libmpc plus other things you may need.