For all the folks out there having issues to compile or setup Phalcon AND latest PHP 7 here's the info.
On my new Raspberry Pi 3B, I successfully installed the full stack...
ARM arch :)
Raspbian GNU/Linux 8.0 (jessie)
- PHP Version 7.0.10 compiled from source (it took ~90 minutes, but my SD card is very slow on writes anyway)
- Phalcon 3.0.1 compiled from source
- nginx/1.6.2 fetched from default distro repo since nginx repo does not have ARM support, but you can compile on your own v1.10.x if needed at all
System Linux raspberrypi 4.4.13-v7+ #894 SMP Mon Jun 13 13:13:27 BST 2016 armv7l Build Date Sep 5 2016 02:39:46 Server API FPM/FastCGI with Zend OPcache v7.0.10 phalcon Author Phalcon Team and contributors Version 3.0.1 Build Date Sep 5 2016 10:51:12 Powered by Zephir Version 0.9.4a-dev-7e304ba18c
Everything working fine! :)