请教formality的问题

You are using a 32-bit executable. Starting with the I-2013.12 release, only 64-bit executables of Formality will be available
报warning，用的是32bit的可执行文件，请问如何制定64 bit的可执行文件?

安装64bit版本

哦，少安装一个amd64的包

   谢谢额，刚刚发现，少装一个包