If you’ll get this nasty error:
/usr/bin/hhvm: error while loading shared libraries: libgmp.so.10: cannot open shared object file: No such file or directory
Simply run the following command:
sudo apt-get install libgmp10
comment 0