libgmp-dev package exists after Ubuntu 12.04. http://packages.ubuntu.com/search?keywords=libgmp-dev&searchon=names&suite=all§ion=allMy environment is Ubuntu 14.04LTS amd64. Are you using Ubuntu 10.04?
Afraid so. --Phil Holmes
_______________________________________________ lilypond-devel mailing list lilypond-devel@gnu.org https://lists.gnu.org/mailman/listinfo/lilypond-devel