Hi, phalconers! I got an issue with the vagrant box from phalcon/vagrant.
Essentially, if I try to start phalcon this happens:
$ phalcon
ERROR: Phalcon extension isn't installed, follow these instructions to install it: https://docs.phalcon.io/en/latest/reference/install.html
I tried to trace the phalcon executable, and it was defaulting to php7. After
update-alternatives --set php /usr/bin/php5.6
these errors appeared as well:
$ phalcon
PHP Warning: PHP Startup: Unable to load dynamic library '/usr/lib/php/20131226/libsodium.so' - /usr/lib/php/20131226/libsodium.so: cannot open shared object file: No such file or directory in Unknown on line 0
PHP Warning: PHP Startup: Unable to load dynamic library '/usr/lib/php/20131226/phalcon.so' - /usr/lib/php/20131226/phalcon.so: cannot open shared object file: No such file or directory in Unknown on line 0
PHP Warning: PHP Startup: Unable to load dynamic library '/usr/lib/php/20131226/yaml.so' - /usr/lib/php/20131226/yaml.so: cannot open shared object file: No such file or directory in Unknown on line 0
ERROR: Phalcon extension isn't installed, follow these instructions to install it: https://docs.phalcon.io/en/latest/reference/install.html
what am I doing wrong? And why shouldn't it work OOB on the vagrant virtual machine?... Thank you anticipately for the response.