Phalcon-devtools install Error

Problem

After installing phalcon-devtools on OSX I get an error:

ERROR: Phalcon extension isn't installed, follow these instructions to install it

Analysis

PHP from standard OSX was used (/usr/bin/php). We need to use the one we are using from ports: /opt/local/bin/php71

Use:

$ which php

to see which executable is used

$ php -m

to list the PHP modules

$ php --ini

to see which config files are loaded

Resolution

Edit the phalcon.sh file and at the end provide the path to the PHP executable which has phalcon built in.

if check_install; then
        devtools=${PTOOLSPATH%/}
        /opt/local/bin/php71 "$devtools/phalcon.php" $*

Resources

1. https://github.com/phalcon/phalcon-devtools/issues/975