http://beecoder.org/zh-cn/linux/how-to-install-libpolymake3-2-in-linux