Il giorno sab 25 ott 2014 alle 17:18, Phil Holmes <m...@philholmes.net> ha scritto:
----- Original Message ----- From: "Masamichi HOSODA" <truer...@sea.plala.or.jp>

libgmp-dev package exists after Ubuntu 12.04.
http://packages.ubuntu.com/search?keywords=libgmp-dev&searchon=names&suite=all§ion=all

My environment is Ubuntu 14.04LTS amd64.
Are you using Ubuntu 10.04?


Afraid so.

$ lsb_release -a

will tell you exactly.
Is it the server or your computer?

You need at least 12.04:
http://packages.ubuntu.com/search?keywords=libgmp-dev


_______________________________________________
lilypond-devel mailing list
lilypond-devel@gnu.org
https://lists.gnu.org/mailman/listinfo/lilypond-devel

Reply via email to