Fixed phalcon install script and added php5-dev

installer.py

@@ -22,7 +22,7 @@ class Installer:
     #######################################
     self.__run_command("sudo apt-get update", True)
     self.__run_command("sudo apt-get upgrade", True)
-    self.__run_command("sudo apt-get install build-essential libpcre3 libpcre3-dev libpcrecpp0 libssl-dev zlib1g-dev python-software-properties unzip git-core libcurl4-openssl-dev libbz2-dev libmysqlclient-dev mongodb-clients libreadline6-dev libyaml-dev libsqlite3-dev sqlite3 libxml2-dev libxslt-dev libgdbm-dev ncurses-dev automake libffi-dev htop libtool bison libevent-dev libgstreamer-plugins-base0.10-0 libgstreamer0.10-0 liborc-0.4-0 libwxbase2.8-0 libwxgtk2.8-0 libgnutls-dev libjson0-dev libmcrypt-dev", True)
+    self.__run_command("sudo apt-get install build-essential libpcre3 libpcre3-dev libpcrecpp0 libssl-dev zlib1g-dev python-software-properties unzip git-core libcurl4-openssl-dev libbz2-dev libmysqlclient-dev mongodb-clients libreadline6-dev libyaml-dev libsqlite3-dev sqlite3 libxml2-dev libxslt-dev libgdbm-dev ncurses-dev automake libffi-dev htop libtool bison libevent-dev libgstreamer-plugins-base0.10-0 libgstreamer0.10-0 liborc-0.4-0 libwxbase2.8-0 libwxgtk2.8-0 libgnutls-dev libjson0-dev libmcrypt-dev php5-dev", True)
 
     self.__run_command("cp ../config/benchmark_profile ../../.bash_profile")
     self.__run_command("sudo sh -c \"echo '* soft nofile 4096' >> /etc/security/limits.conf\"")
@@ -108,10 +108,8 @@ class Installer:
 
     # Phalcon
     self.__run_command("git clone git://github.com/phalcon/cphalcon.git")
-    self.__run_command("cd cphalcon/release")
-    self.__run_command("phpize")
-    self.__run_command("./configure --enable-phalcon")
-    self.__run_command("make && make install")
+    self.__run_command("cd cphalcon/build")
+    self.__run_command("sudo ./install")
     self.__run_command("echo 'extension=phalcon.so' | sudo tee -a /etc/php5/conf.d/phalcon.ini")
     self.__run_command("php -i | grep phalcon")