Thank you for the link. This does work for Ubuntu, and I can use that if necessary. Are there install instructions for Debian specifically? I followed the instructions on installing v8js here (https://github.com/phpv8/v8js/blob/php7/README.Linux.md). I compiled v8 fine, however v8js stopped at ./configure --with-v8js=/opt/v8 with the following error:
checking for V8 version... NONE
configure: error: could not determine libv8 version
So it seems there’s an issue with installing on Debian 9.1, any ideas how to fix it?