Raspberry Pi port, piCore-15.0 is available!
filezilla: error while loading shared libraries: libgmp.so.3: cannot open shared object file: No sutch file or directory
tce-load -iw lilypond-2.12.2 sudo cp /home/tc/lilypond/usr/lib/libgmp.so.3 /usr/local/lib/