Hey, I have installed phalcon succesfully on MAMP with this guide: https://github.com/majksner/php-phalcon-mamp
Now when I have tested phalcon a little bit, I want to use the DevTools, but having troubble installing it. The latest thing I did was creating the directory phalcon inside my documents folder
sudo git clone https://github.com/phalcon/phalcon-devtools.git
nano .bash_profile
Added export PTOOLSPATH=/Library/WebServer/D
export PATH="$PTOOLSPATH:$PATH"
sudo ln -s /Library/WebServer/Documents/phalcon-devtools/phalcon.sh /Library/WebServer/Documents/phalcon-devtools/phalcon
sudo chmod +x /Library/WebServer/Documents/phalcon-devtools/phalcon
Phalcon command gives me this:
ERROR: Phalcon extension isn't installed, follow these instructions to install it: https://docs.phalcon.io/en/latest/reference/install.html