Can't figure out how to get dev tools to run with Mac and MAMP

Hey, I have installed phalcon succesfully on MAMP with this guide:

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
nano .bash_profile
Added export PTOOLSPATH=/Library/WebServer/D
sudo ln -s /Library/WebServer/Documents/phalcon-devtools/ /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:


Do a "which php" in the terminal to make sure that when you run a php command it is indeed using your MAMP's php.