Installing Phalcon.so on AMPPS OSX 10.9

AMPPS PHP is 32bit so here is how you can get a 32bit of Phalcon.so

#make sure php is in your path
PATH="/Applications/AMPPS/php/bin:${PATH}"

git clone --depth=1 git://github.com/phalcon/cphalcon.git
cd cphalcon/build/32bits/
sudo make clean
sudo phpize --clean
sudo phpize
sudo CFLAGS=-m32 CPPFLAGS=-m32 CCASFLAGS=-m32 ./configure --enable-phalcon
sudo make
sudo make install
file /Applications/AMPPS/php/lib/extensions/no-debug-non-zts-20121212/phalcon.so
#outputs: /Applications/AMPPS/php/lib/extensions/no-debug-non-zts-20121212/phalcon.so: Mach-O bundle i386

For Phalcon-tools

wget -q --no-check-certificate -O phalcon-tools.zip https://github.com/phalcon/phalcon-devtools/zipball/master
unzip -q phalcon-tools.zip 
mv phalcon-phalcon-devtools-* phalcon-tools
mv phalcon-tools /Applications/AMPPS/php/
vi ~/.bash_profile
#add these lines
#export PATH="/Applications/AMPPS/php/phalcon-tools:${PATH}"
#export PTOOLSPATH=/Applications/AMPPS/php/phalcon-tools
cd /Applications/AMPPS/php/phalcon-tools
ln -s phalcon.sh phalcon
chmod +x phalcon
#restart your terminal
phalcon